synchronize with frama-c master

c-testsuite/.frama-c/00143.eva/metrics.log

chrony/.frama-c/chrony-ntp-core.eva/alarms.csv

chrony/.frama-c/chrony-ntp-core.eva/warnings.log

chrony/.frama-c/chrony-ntp-core.parse/framac.ast

chrony/.frama-c/chrony-regress.eva/alarms.csv

chrony/.frama-c/chrony-regress.eva/warnings.log

chrony/.frama-c/chrony-regress.parse/framac.ast

debie1/.frama-c/debie1.parse/framac.ast

frama-c

itc-benchmarks/.frama-c/01_w_Defects.eva/alarms.csv

itc-benchmarks/.frama-c/01_w_Defects.parse/framac.ast

itc-benchmarks/.frama-c/02_wo_Defects.parse/framac.ast

kgflags/.frama-c/kgflags-full_api.eva/warnings.log

libmodbus/.frama-c/libmodbus-unit-server.eva/alarms.csv

libmodbus/.frama-c/libmodbus-unit-server.eva/metrics.log

libyaml/.frama-c/test-reader.parse/framac.ast

libyaml/.frama-c/test-version.parse/framac.ast

...ostrain/.frama-c/microstrain_gx4_45_test.eva/warnings.log

miniz/.frama-c/miniz-example2.eva/metrics.log

miniz/.frama-c/miniz-example2.eva/warnings.log