Merge branch 'robbert/nested_ispecialize' into 'master'

Allow `iSpecialize` to be nested.

See merge request FP/iris-coq!198
7 jobs for master in 10 minutes and 42 seconds
Status Job ID Name Coverage
  Build
passed #21783
fp
build-coq.8.7.1

00:05:06

passed #21782
fp
build-coq.8.7.2

00:05:01

passed #21781
fp-timing
build-coq.8.8.0

00:04:47

passed #21780
fp
build-coq.8.8.1

00:05:25

passed #21779
fp
build-coq.8.8.2

00:05:31

passed #21778
fp-timing
build-coq.8.9.dev

00:05:35

passed #21777
fp
build-coq.dev

00:08:02