I have always preferred the look that masak++ suggests: ^D or ^C or ^Z
(as appropriate) followed by newline. Thus I vote +1, as long as the
correct character can be determined in the current environment. I also
like to see "Received SIGFOO, exiting.\n" for signals that we interpret
as ending the REPL session.