Merge branch 'ales/lecture-notes-examples' into 'master'

Add more examples from the lecture notes.

See merge request FP/iris-examples!6
2 jobs for master in 17 minutes and 52 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #11146
fp
build-coq.8.6.1

00:17:51

passed #11145
fp-timing
build-coq.8.7.1

00:11:44