[wp] upgrade prover versions

src/plugins/wp/Makefile.in

src/plugins/wp/VCS.ml

src/plugins/wp/tests/qualif.report

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

src/plugins/wp/tests/wp_acsl/oracle_qualif/logic.res.oracle

src/plugins/wp/tests/wp_gallery/frama_c_hashtbl_solved.c

...wp_gallery/oracle_qualif/binary-multiplication.res.oracle

...c_hashtbl_solved.0.session/script/init_assigns_part3.json

...p_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle

...lugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle

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

src/plugins/wp/tests/wp_plugin/oracle_qualif/trig.res.oracle

...t.0.session/script/init_t2_bis_v1_assigns_exit_part2.json

...0.session/script/init_t2_bis_v1_assigns_normal_part2.json

...t.0.session/script/init_t2_bis_v1_loop_assigns_part2.json

...t.0.session/script/init_t2_bis_v1_loop_assigns_part3.json

...t.0.session/script/init_t2_bis_v2_assigns_exit_part2.json

...0.session/script/init_t2_bis_v2_assigns_normal_part2.json

...t.0.session/script/init_t2_bis_v2_loop_assigns_part2.json

...t.0.session/script/init_t2_bis_v2_loop_assigns_part3.json