Merge branch 'fix/update-reference-configuration' into 'master'

update reference configuration

See merge request frama-c/frama-c!4075

reference-configuration.md

@@ -4,13 +4,16 @@ compiling Frama-C+dev.
 - OCaml 4.13.1
 - alt-ergo-free.2.2.0 (for wp, optional)
 - apron.v0.9.13 (for eva, optional)
-- dune.3.4.1
-- dune-site.3.4.1
+- dune.3.5.0
+- dune-configurator.3.5.0
+- dune-site.3.5.0
 - lablgtk3.3.1.2
 - lablgtk3-sourceview3.3.1.2
+- menhir.20211128
 - mlmpfr.4.1.0+bugfix2 (for eva, optional)
 - ocamlfind.1.9.5
 - ocamlgraph.2.0.0
+- ocp-indent.1.8.1 (for linting, optional)
 - ppx_deriving_yojson.3.7.0
 - ppx_import.1.10.0
 - why3.1.6.0