Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder

Changelog

INSTALL.md

bin/frama-c-script

share/analysis-scripts/find_fun.py

share/analysis-scripts/make_wrapper.py

share/analysis-scripts/summary.py

share/libc/locale.h

share/libc/stdio.h

share/libc/wctype.h

src/kernel_services/ast_data/annotations.ml

src/kernel_services/ast_data/annotations.mli

src/kernel_services/ast_data/property.ml

src/kernel_services/ast_data/property.mli

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/plugin_entry_points/plugin.ml

src/libraries/utils/filepath.ml

src/libraries/utils/filepath.mli

src/plugins/metrics/metrics_cilast.ml

src/plugins/metrics/metrics_cilast.mli

src/plugins/value/domains/cvalue/cvalue_transfer.ml