fix: Install both {rocq-native, coq-native} (in dev) for consistency

docker-keeper: rebuild-tag: dev-native,dev-native-flambda

Related: rocq-community/docker-coq-action#98

Follows-up: e5d1125 (in `9.0.0`)

Author: erikmd

images.yml

@@ -84,7 +84,7 @@ images:
         ROCQ_VERSION: '{matrix[rocq]}'
         ROCQ_COMMIT: '{defaults[commit]}'
         VCS_REF: '{defaults[commit][0:7]}'
-        ROCQ_EXTRA_OPAM: 'rocq-native rocq-bignums'
+        ROCQ_EXTRA_OPAM: 'rocq-native coq-native rocq-bignums'
       tags:
         # full tag
         - tag: '{matrix[rocq]}-native-ocaml-{matrix[base]}'