Leave the command line with CTRL-G

Closes #6.