Merge branch 'fix/release/calcium-preparations' into 'master'

Changelog

INSTALL.md

bin/build-src-distrib.sh

doc/developer/changes.tex

doc/release/build.tex

headers/header_spec.txt

opam/opam

src/kernel_internals/typing/oneret.mli

src/kernel_services/ast_data/kernel_function.mli

src/kernel_services/ast_printing/printer_api.mli

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/cil_datatype.mli

src/kernel_services/ast_queries/logic_utils.mli

src/kernel_services/visitors/visitor_behavior.mli

src/libraries/utils/filepath.mli

src/plugins/server/Makefile.in

src/plugins/wp/Changelog