Don't kill the console

Use the "quit" command instead. This seems to prevents some weirdness on
OS X. See #9761.