Move debugger options into the tab-options menu patch-2 (issue #61)