Switch to core/1.1.3

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

diff --git a/core b/core
index 0073f7e..ed4f7de 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 0073f7e2a91105ca12117bb59db3f8e460685d21
+Subproject commit ed4f7de016bb136fae9f72256c827ef09d4ea863