Merge branch 'master' into 950-wp-tools-versions

.Makefile.lint

Changelog

Makefile

bin/frama-c-script

doc/developer/architecture.tex

doc/developer/tutorial.tex

doc/userman/user-changes.tex

doc/userman/user-start.tex

headers/header_spec.txt

man/frama-c.1

man/frama-c.1.header

man/frama-c.1.md

share/analysis-scripts/make_template.py

share/analysis-scripts/template.mk

src/kernel_internals/runtime/dump_config.ml

src/kernel_internals/runtime/dump_config.mli

src/kernel_internals/typing/cabs2cil.ml

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/file.mli

src/kernel_services/plugin_entry_points/kernel.ml