Updates master to the latest version of core.

Signed-off-by: Vincent Zanotti <vincent.zanotti@polytechnique.org>

diff --git a/core b/core
index d95d46a..748b27d 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit d95d46a7c551a5439ff8791e61311a42a64aadd0
+Subproject commit 748b27d2298eb61c212765a9480b0db661577232