Merge branch 'feature/kernel/dump-config' into 'master'

Makefile

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

src/kernel_internals/runtime/dump_config.ml

src/kernel_internals/runtime/dump_config.mli

src/kernel_services/ast_queries/file.ml

src/kernel_services/ast_queries/file.mli

src/kernel_services/plugin_entry_points/kernel.ml

src/kernel_services/plugin_entry_points/kernel.mli