Issue
0020406: Time compilation when recompiling
Issue
0020425: [CEA] Bad modification of a selected hypothesis
Implement --with[out]-gui configure and build_configure options.
Join modifications from BR_Dev_For_4_0.
Initial version from Francis Kloss.