[wp] update qualif tests

src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.1.res.oracle

@@ -3,6 +3,7 @@
 [wp] Running WP plugin...
 [wp] Loading driver 'share/wp.driver'
 [wp] Warning: Missing RTE guards
+[wp] Warning: native support for alt-ergo is deprecated, use why3 instead
 [wp] 1 goal scheduled
 [wp] [Alt-Ergo (Native)] Goal typed_foo_assert_ko : Unsuccess
 [wp] Proved goals:    0 / 1

src/plugins/wp/tests/wp_bts/oracle_qualif/bts_2471.2.res.oracle

@@ -3,6 +3,7 @@
 [wp] Running WP plugin...
 [wp] Loading driver 'share/wp.driver'
 [wp] Warning: Missing RTE guards
+[wp] Warning: native support for coq is deprecated, use tip instead
 [wp] 1 goal scheduled
 [wp] [Coq] Goal typed_foo_assert_ko : Default tactic
 [wp] [Coq (Native)] Goal typed_foo_assert_ko : Unsuccess

src/plugins/wp/tests/wp_typed/oracle_qualif/mvar.0.report.json

-{ "wp:global": { "why3:Alt-Ergo,2.0.0": { "total": 1, "valid": 1, "rank": 1 },
-                 "wp:main": { "total": 1, "valid": 1, "rank": 1 } },
+{ "wp:global": { "why3:Alt-Ergo,2.0.0": { "total": 1, "valid": 1 },
+                 "wp:main": { "total": 1, "valid": 1 } },
   "wp:functions": { "Job": { "Job_ensures": { "why3:Alt-Ergo,2.0.0": 
-                                                { "total": 1, "valid": 1,
-                                                  "rank": 1 },
+                                                { "total": 1, "valid": 1 },
                                               "wp:main": { "total": 1,
-                                                           "valid": 1,
-                                                           "rank": 1 } },
+                                                           "valid": 1 } },
                              "wp:section": { "why3:Alt-Ergo,2.0.0": { "total": 1,
-                                                                    "valid": 1,
-                                                                    "rank": 1 },
+                                                                    "valid": 1 },
                                              "wp:main": { "total": 1,
-                                                          "valid": 1,
-                                                          "rank": 1 } } } } }
+                                                          "valid": 1 } } } } }

src/plugins/wp/tests/wp_typed/oracle_qualif/mvar.res.oracle

@@ -14,5 +14,5 @@
 [wp] Report out: 'tests/wp_typed/result_qualif/mvar.0.report.json'
 -------------------------------------------------------------
 Functions           WP     Alt-Ergo        Total   Success
-Job                 -       1 (1..12)        1       100%
+Job                 -       1                1       100%
 -------------------------------------------------------------