[cache] add missing files

tests/wp-cache/cache/3e62f58a5ed5c63b093795ac2e69fd36.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.009, "steps": 5 }

tests/wp-cache/cache/6e8885fda7c27cf65f2f5a05ec9191a8.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0082,
+  "steps": 5 }

tests/wp-cache/cache/705443f0d1be76f39c173c5b0a5403fa.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.009, "steps": 6 }

tests/wp-cache/cache/78059ebef6fab6945f6bb10eea75214d.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0089,
+  "steps": 7 }

tests/wp-cache/cache/bf2df13b123117abd91305e398c7232b.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "valid", "time": 0.0175,
+  "steps": 39 }

tests/wp-cache/cache/e1d26fa8f4aebd4f28e749ed27425273.json

+{ "prover": "Alt-Ergo:2.4.3", "verdict": "timeout", "time": 2. }