Merge branch 'bugfix/debian' into 'stable/phosphorus'

.gitlab-ci.yml

Changelog

Makefile

configure.in

headers/headache_config.txt

headers/header_spec.txt

man/frama-c.1

share/Makefile.dynamic

share/_frama-c

src/kernel_services/ast_data/cil_types.mli

src/plugins/scope/dpds_gui.ml

src/plugins/value/domains/gauges/gauges_domain.ml

src/plugins/wp/GuiProver.ml

src/plugins/wp/Strategy.ml

src/plugins/wp/Tactical.ml

src/plugins/wp/wp_parameters.ml