Merge branch 'ralf/opam' into 'master'

fix `make build-dep`

See merge request FP/iris-coq!207
7 jobs for master in 20 minutes and 22 seconds (queued for 1 second)