Merge branch 'hwq' into 'master'

Herlihy-Wing queue example (involving prophecy variables)

See merge request !25
1 job for master in 17 minutes and 8 seconds
Status Job ID Name Coverage
  Build
passed #36423
fp
build-iris.dev

00:17:08