Rocq 9.0 + Dune 3.23.1 image

[liyishuai]

With rocq-community/docker-base#39 merged, are we planning to update the existing 9.0 images with new Dune?
This would be required by

• Rocq renaming Lysxia/rocq-simple-io#90

[Lysxia]

we probably want to use dune 3.21 because later versions are broken rocq-prover/docker-opam-action#108 (comment)