Add --no-launch option
Rename get_options to parse_options
Use dict's pop() method instead of []/del pairs