Bump Iris.

2 jobs from master in 15 minutes 50 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #5184
fp-timing
build-coq.8.6.1

15:49

passed #5183
fp-timing
build-coq.8.7.0

13:18