Merge branch 'feature/property-names' into 'master'

Makefile

headers/header_spec.txt

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/property.mli

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

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

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

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

src/plugins/wp/tests/wp/oracle/sharing.res.oracle

src/plugins/wp/tests/wp/oracle/wp_eqb.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/sharing.res.oracle

...ns/wp/tests/wp/oracle_qualif/stmtcompiler_test.res.oracle

src/plugins/wp/tests/wp/oracle_qualif/wp_behav.0.res.oracle