[report] normalized property names

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