Merge branch 'master' into feature/bobot/jbuilder

Changelog

headers/header_spec.txt

share/compliance/compiler_builtins.json

share/compliance/gcc_builtins.json

share/dune

src/kernel_internals/runtime/special_hooks.ml

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil_builtins.ml

src/kernel_services/ast_queries/cil_builtins.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli

src/plugins/e-acsl/tests/test_config.in

src/plugins/wp/Changelog

src/plugins/wp/ProverTask.ml

src/plugins/wp/ProverTask.mli

src/plugins/wp/VCS.ml

src/plugins/wp/VCS.mli

src/plugins/wp/doc/manual/wp_plugin.tex

src/plugins/wp/prover.ml