Module Gui_init

module Gui_init: sig .. end
Very early initialisation step required by any GUI. This interface should be empty.