Feature/new cgc

cgc-challenges/Dungeon_Master/.frama-c/GNUmakefile

@@ -42,6 +42,8 @@ Dungeon_Master.parse: \
   ../../lib/libcgc.c \
   ../src/service.c \
   ../src/dungeon.c \
+  ../../lib/ansi_x931_aes128.c \
+  ../../lib/tiny-AES128-C/aes.c \
 
 ### Epilogue. Do not modify this block. #######################################
 include $(shell $(FRAMAC)-config -scripts)/epilogue.mk