Merge branch 'master' into 597-lib-integer-too_big

Makefile

headers/header_spec.txt

share/analysis-scripts/frama-c.mk

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/property.mli

src/kernel_services/ast_queries/file.ml

...rnel_services/ast_queries/json_compilation_database.ko.ml

...kernel_services/ast_queries/json_compilation_database.mli

...rnel_services/ast_queries/json_compilation_database.ok.ml

src/kernel_services/plugin_entry_points/kernel.ml

src/libraries/utils/json.mli

src/libraries/utils/json.mll

src/libraries/utils/sanitizer.ml

src/libraries/utils/sanitizer.mli

src/plugins/report/Makefile.in

src/plugins/report/classify.ml

src/plugins/report/property_names.ml

src/plugins/report/tests/report/oracle/classify.0.res.oracle

src/plugins/report/tests/report/oracle/classify.1.res.oracle

src/plugins/report/tests/report/oracle/classify.2.res.oracle