Add a CI job opam-build:4.07.1:coq-native (and opam-build-no-timeout:4.07.1:coq-native?) #1498
Description
as suggested by @gares in #1496 (comment)
I believe this new GitLab CI job could just setup EXTRA_OPAM: "ocamlbuild coq-native", but it is not clear to me how the before_script should be updated (w.r.t. opam caching in particular).