Merge branch 'feature/patrick/from-potassium' into 'master'

Makefile

configure.in

opam/opam

share/Makefile.config.in

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/cil.mli

src/kernel_services/ast_queries/logic_typing.ml

src/kernel_services/ast_queries/logic_typing.mli

src/kernel_services/ast_queries/logic_utils.ml

src/kernel_services/plugin_entry_points/db.ml

src/kernel_services/plugin_entry_points/db.mli

src/plugins/rte/register.ml

src/plugins/rte/visit.ml

src/plugins/value/legacy/eval_terms.ml

src/plugins/wp/Changelog

src/plugins/wp/Cint.ml

src/plugins/wp/Cmath.ml

src/plugins/wp/Cmath.mli

src/plugins/wp/LogicSemantics.ml