Merge branch 'master' into feature/wp/api

.gitignore

.gitlab-ci.yml

bin/test.sh

dev/dune-workspace.cover

nix/combinetura.nix

nix/coverage.sh

nix/default-config-tests.nix

nix/external-plugin-ci.sh

nix/frama-c-checkers-shell.nix

nix/frama-c.nix

nix/mk_tests.nix

nix/pkgs.nix

nix/sources.json

nix/src-distrib-tests.nix

nix/ts-api.nix

src/dune

src/init/boot/dune

src/init/dune

src/init/impl_cmdline/dune

src/kernel_services/abstract_interp/lattice_bounds.ml