Merge branch 'feature/wp/fix-nupw' into 'master'

src/plugins/wp/GuiGoal.ml

src/plugins/wp/GuiNavigator.ml

src/plugins/wp/ProofEngine.ml

src/plugins/wp/ProofEngine.mli

src/plugins/wp/ProverScript.ml

src/plugins/wp/TacChoice.ml

src/plugins/wp/VCS.ml

src/plugins/wp/VCS.mli

src/plugins/wp/cfgWP.ml

src/plugins/wp/prover.ml

src/plugins/wp/register.ml

...gins/wp/tests/wp_plugin/oracle_qualif/unsigned.res.oracle

src/plugins/wp/tests/wp_plugin/unroll.i

src/plugins/wp/tests/wp_plugin/unsigned.i.0.report.json

src/plugins/wp/wpo.ml

src/plugins/wp/wpo.mli