[WP/test] compliant oracles with OCI

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

@@ -2,6 +2,6 @@
 WP Requirements for Qualif Tests (3)
 ----------------------------------------------------------
 1. The Alt-Ergo theorem prover, version 2.0.0
-2. The Why3 platform, version 1.2.0
+2. The Why3 platform, version 1.1.1
 3. The Coq Proof Assistant, version 8.9.0
 ----------------------------------------------------------

src/plugins/wp/tests/wp_plugin/oracle_qualif/string_c.0.report.json

@@ -36,12 +36,12 @@
                                 "memcpy_loop_assigns": { "alt-ergo": 
                                                            { "total": 1,
                                                              "valid": 1,
-                                                             "rank": 40 },
+                                                             "rank": 43 },
                                                          "qed": { "total": 2,
                                                                   "valid": 2 },
                                                          "wp:main": { "total": 3,
                                                                     "valid": 3,
-                                                                    "rank": 40 } },
+                                                                    "rank": 43 } },
                                 "memcpy_ensures_result_ptr": { "qed": 
                                                                  { "total": 1,
                                                                    "valid": 1 },