addd Options.mk_global_opts, deprecating Options.global_opts

Every debug section has its own CLI option now, available through mk_global_opts