REPL exit with end-of-input (Ctrl-d)

[gaborsch]

Currently an exception is raised, need to catch and handle.