warning removed
section mechanism for Util.debug
changed Options.global_opts (add a unit-> into the type);
every debug section has its own CLI option now