add .exit to list of REPL commands

Although Control-D can be used, for some users it would
be good for them to know that they can also just type
`.exit`