Merge branch 'stable/cobalt'

.gitlab-ci.yml

ALL_VERSIONS

doc/developer/advance.tex

nix/internal-tests.nix

nix/mk_tests.nix

opam

share/Makefile.documentation

src/kernel_services/ast_queries/file.ml

src/plugins/callgraph/gui/cg_viewer.ml

src/plugins/callgraph/gui/cg_viewer.mli

src/plugins/callgraph/gui/dune

src/plugins/callgraph/gui/graph.dgraph.ml

src/plugins/callgraph/gui/graph.gtk.ml

src/plugins/e-acsl/doc/refman/changes_modern.tex

src/plugins/e-acsl/doc/refman/main.tex

src/plugins/e-acsl/doc/refman/memory.tex

tests/syntax/clang_redef_warning.c

tests/syntax/oracle/clang_redef_warning.res.oracle

tests/syntax/oracle/cpp-command.4.res.oracle

tools/ptests/ptests.ml