Update 'latest' CI job to Coq/Rocq 9.0

Author: xavierleroy

.github/workflows/latest.yml

@@ -19,15 +19,15 @@ jobs:
       opamroot: /home/coq/.opam
       configopts: -ignore-coq-version
     container:
-      image: coqorg/coq:latest-ocaml-4.14-flambda
+      image: rocq/rocq-prover:9.0
       options: --user root
     steps:
       - name: Checkout
         uses: actions/checkout@v4
         with:
           submodules: true
       - name: OPAM dependencies
-        run: tools/runner.sh opam_install menhir
+        run: tools/runner.sh opam_install coq-core menhir
       - name: Configure
         run: tools/runner.sh configure
       - name: Build