Merge branch 'ci/ralf/monpred-frame' into 'gen_proofmode'

different approach to monPred framing

See merge request FP/iris-coq!157
4 jobs for gen_proofmode in 19 minutes and 23 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #14073
fp
build-coq.8.7.1

00:04:28

passed #14072
fp
build-coq.8.7.2

00:04:40

passed #14071
fp-timing
build-coq.8.8.0

00:04:26

passed #14070
fp
build-coq.dev

00:14:56