Switch to latest core.

This should fix profile edition issue wrt 'binets' list.

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

diff --git a/core b/core
index 6305462..548a679 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 6305462f32087ac6f212e563946e8c5f6d3f204e
+Subproject commit 548a67995dcfa2c2d15198088a8fe9fae751109f