repl print newline on ctrl-c or ctrl-d, closes #258