[wp] Removes old cache entries and update oracles

src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/10fef2083d54144639f0b6cd94778cb5.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0189,
-  "steps": 67 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/52fdcb4ddd856ebb4464834c99aebae0.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0118,
-  "steps": 25 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/76a1b1317f2520ef9a599a12e344730d.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0123,
-  "steps": 27 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/786eb6ddc8b4a1c15c3182f42e302b10.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0517,
-  "steps": 92 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication-without-overflow.0.session/cache/c47ae970e7baa8aa14a744f568b77922.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0131,
-  "steps": 29 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/binary-multiplication.0.session/cache/d3570f7a7a9be38c8599ac1773a618a2.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0105,
-  "steps": 16 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/08ff774ac6a70674d784cefe233dc1ab.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0254,
-  "steps": 55 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/82750bb2b6c7b7cda9f4f22eea23f1ef.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0336,
-  "steps": 178 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/find.0.session/cache/e6bfe72a35736c49013701f4e6cc2d7c.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0137,
-  "steps": 48 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/152adf213328a70d06d3041ea7eca814.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.02, "steps": 54 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/cdfaa1f77a537214fe4d4d473da0c93f.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0174,
-  "steps": 54 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/dbca0c75b09289a0939a4568bccb8ffe.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0159,
-  "steps": 53 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo1_solved.0.session/cache/e3abd032ee5753e542d0c3d7701189e4.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0102,
-  "steps": 27 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo2_solved.0.session/cache/ce56b654edab77f40b10056e97cc5df5.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0205,
-  "steps": 62 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/2de8075c9ff8cf4d4f231608bed835a9.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0297,
-  "steps": 130 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/91244a7f80eb57f7181e1278e1172cc9.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.035,
-  "steps": 132 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a59cc9b3f7f8b4a6624a1d1232662c22.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0285,
-  "steps": 130 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/a93f056d32a8ace3dd916b64068f94c2.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0113,
-  "steps": 23 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.0.session/cache/aafe330c4b6932bf122ff6509f3fc2b0.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0091,
-  "steps": 39 }

src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_exo3_solved.old.v2.0.session/cache/0d14213263b1d1def509095c28e95ea9.json

-{ "prover": "Alt-Ergo:2.0.0", "verdict": "valid", "time": 0.0198,
-  "steps": 73 }