txl-mode-run: prefix arg asks for options