Merge branch 'master' into feature/ui/labview-rework

.gitattributes

.gitlab-ci.yml

Changelog

VERSION

bin/frama-c-build-scripts.sh

bin/frama-c-script

doc/developer/changes.tex

doc/release/deploy.tex

doc/release/intro.tex

ivette/package.json

ivette/src/dome/renderer/layout/forms.tsx

ivette/src/frama-c/states.ts

nix/alt-ergo.nix

nix/frama-c-checkers-shell.nix

nix/headache.nix

nix/internal-tests.nix

nix/mk_plugin.nix

nix/mk_tests.nix

nix/ocaml-versions.txt

nix/ocplib-simplex.nix