Merge branch 'master' into 950-wp-tools-versions

.gitlab-ci.yml

bin/frama-c-script

nix/default.nix

share/analysis-scripts/make_template.py

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/filecheck.ml

src/kernel_services/ast_transformations/inline.ml

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/plugins/aorai/Makefile.in

src/plugins/aorai/aorai_utils.ml

src/plugins/aorai/aorai_utils.mli

src/plugins/aorai/aorai_visitors.ml

src/plugins/aorai/tests/Aorai_test.ml

src/plugins/aorai/tests/aorai/bts1289.i

src/plugins/aorai/tests/aorai/not_prm.i

...ugins/aorai/tests/aorai/oracle_prove/assigns.0.res.oracle

...ugins/aorai/tests/aorai/oracle_prove/assigns.1.res.oracle

...ugins/aorai/tests/aorai/oracle_prove/bts1289.0.res.oracle

...ugins/aorai/tests/aorai/oracle_prove/bts1289.1.res.oracle