Merge branch 'master' into feature/wp/api

.gitlab-ci.yml

ALL_VERSIONS

Changelog

VERSION

bin/frama-c-script

bin/git.sh

bin/test.sh

configurator.ml

dev/build-release.sh

doc/developer/advance.tex

doc/release/branch.tex

doc/release/validation.tex

ivette/src/dome/main/dome.ts

ivette/src/dome/renderer/dome.tsx

ivette/src/frama-c/kernel/Properties.tsx

nix/frama-c.nix

nix/internal-tests.nix

nix/mk_tests.nix

nix/pkgs.nix

nix/ppx_deriving_yaml.nix