Merge remote-tracking branch 'origin/stable/calcium'

headers/close-source/JCF_LGPL

headers/open-source/JCF_LGPL

share/analysis-scripts/make_template.py

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/man/e-acsl-gcc.sh.1

src/plugins/e-acsl/scripts/e-acsl-gcc.comp

src/plugins/e-acsl/scripts/e-acsl-gcc.sh

src/plugins/gui/project_manager.ml

src/plugins/server/request.ml

src/plugins/server/syntax.ml

src/plugins/value/utils/value_results.ml

src/plugins/wp/Auto.ml

src/plugins/wp/Changelog

src/plugins/wp/Cint.ml

src/plugins/wp/Conditions.mli

src/plugins/wp/GuiGoal.ml

src/plugins/wp/ProverWhy3.ml

src/plugins/wp/TacOverflow.ml

src/plugins/wp/Tactical.ml

src/plugins/wp/tests/wp_acsl/inductive.i