Merge branch 'feature/dev/faster-lint' into 'master'

Makefile

dev/check-files.sh

dev/git-hooks/pre-commit.sh

dev/git-hooks/pre-push.sh

nix/frama-c-checkers-shell.nix

nix/frama-c-lint.nix

nix/frama-c.nix

nix/ocp-indent.nix

nix/pkgs.nix

share/Makefile.headers

share/Makefile.linting

src/kernel_services/ast_data/property_status.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/logic_typing.ml

src/libraries/utils/hptmap.ml

...observation_model/segment_model/e_acsl_segment_tracking.c

src/plugins/e-acsl/src/analyses/memory_tracking.ml

src/plugins/eva/utils/eva_perf.ml

tools/hdrck/dune-project