Merge branch 'feature/blanchard/wp/changes-opt-default' into 'master'

src/plugins/wp/Factory.ml

src/plugins/wp/GuiPanel.ml

src/plugins/wp/GuiProver.ml

src/plugins/wp/ProofScript.ml

src/plugins/wp/ProverErgo.ml

src/plugins/wp/ProverTask.ml

src/plugins/wp/ProverTask.mli

src/plugins/wp/VCS.ml

src/plugins/wp/VCS.mli

src/plugins/wp/register.ml

src/plugins/wp/tests/wp_acsl/classify_float.c

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

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

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

src/plugins/wp/tests/wp_acsl/oracle/equal.res.oracle

src/plugins/wp/tests/wp_acsl/oracle/init_label.res.oracle

...gins/wp/tests/wp_acsl/oracle_qualif/init_label.res.oracle

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

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

src/plugins/wp/tests/wp_bts/bts_1174.i