Frama-C API - Register_gui

Extension of the GUI in order to support the value analysis. No function is exported.