Switch to latest core

Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>

diff --git a/core b/core
index 737f137..707b65d 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 737f1378c3bcebbbbf04fef0c0ffb9c99a1e4946
+Subproject commit 707b65dc805f31c3d82fbf3cc13f0a4ab5b653e8