This commit brings the following changes:
- test the system compiler,
- test the opam-installed 4.02.3 compiler,
- use the system and 4.07.0 compilers for "bench",
- use the 4.07.0 compiler for "full",
- use the 4.05.0 compiler for the prover-based targets (because of Zenon).