Merge branch 'dune-ci' into 'feature/bobot/jbuilder'

.gitignore

.gitlab-ci.yml

Makefile

nix/alt-ergo.nix

nix/camlzip.nix

nix/frama-c.nix

nix/lint.nix

nix/main-tests.nix

nix/ocp-indent.nix

nix/pkgs.nix

nix/plugins-tests.nix

nix/psmt2-frontend.nix

nix/shell.nix

nix/sources.json

nix/sources.nix

nix/why3.nix

ptests/ptests.ml

src/kernel_internals/runtime/fc_config.mli

src/kernel_internals/runtime/special_hooks.ml

src/kernel_services/abstract_interp/abstract_memory.ml