update Makefile and CI config

1 job for master in 4 minutes and 5 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #21833
fp
build-iris.dev

00:04:05

 
Name Stage Failure
failed
build-iris.dev Build
# make[2]: *** Waiting for unfinished jobs....
# Makefile.coq:317: recipe for target 'all' failed
# make[1]: *** [all] Error 2
# make[1]: Leaving directory '/builds/iris/atomic/opamroot/ocaml-base-compiler.4.02.3/.opam-switch/build/coq-iris.dev'
# Makefile:6: recipe for target 'all' failed
# make: *** [all] Error 2

'opam upgrade -y --all build-dep/ -vv' failed.
ERROR: Job failed: exit code 1