use Docker image matching CI branch

.gitlab-ci.yml

-image: ralfjung/opam-ci:latest
+image: ralfjung/opam-ci:opam2
 
 stages:
   - build
 
 variables:
   CPU_CORES: "10"
-  GIT_SUBMODULE_STRATEGY: "recursive"
-  AXIOMS_IGNORE: "1"
 
 .template: &template
   stage: build
   tags:
   - fp
   script:
+  - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
   - ci/buildjob
   cache:
     key: "$CI_JOB_NAME"

ci @ c3b53061

-Subproject commit c3b53061d2452f7ea50766915eb40312163d155a