Merge branch 'master' into feature/dome/dome-ts

ALL_VERSIONS

INSTALL.md

Makefile

Makefile.generating

README.md

bin/build-src-distrib.sh

bin/frama-c-config

devel_tools/docker/frama-c.custom/Dockerfile

devel_tools/docker/frama-c.dev/Dockerfile

doc/MakeLaTeXModern

doc/developer/changes.tex

doc/userman/user-changes.tex

headers/header_spec.txt

opam/opam

src/kernel_internals/parsing/logic_parser.mly

src/kernel_internals/parsing/logic_preprocess.mll

src/kernel_internals/runtime/frama_c_config.ml.in

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/plugin_entry_points/kernel.ml