bump Coq to 8.11.2, and also test Coq 8.12 beta

2 jobs for master
Status Job ID Name Coverage
  Build
canceled #75260
fp-timing
build-coq.8.11.2

canceled #75259
fp
build-coq.8.12.dev