Merge branch 'stable/potassium'

VERSION

doc/userman/user-start.tex

doc/userman/userman.bib

doc/value/biblio.bib

doc/value/gui-loop-to-unroll.png

doc/value/gui.tex

doc/value/main.tex

doc/value/tutorial/main_1.c

opam/opam

src/kernel_services/ast_printing/printer_tag.ml

src/plugins/gui/file_manager.ml

src/plugins/gui/menu_manager.mli

src/plugins/gui/project_manager.ml

src/plugins/wp/Cfloat.ml

src/plugins/wp/CodeSemantics.ml

src/plugins/wp/GuiConfig.ml

src/plugins/wp/GuiList.ml

src/plugins/wp/GuiNavigator.ml

src/plugins/wp/GuiProver.ml

src/plugins/wp/LogicSemantics.ml