allow ^D (EOF) to exit repl (instead of going into an infinite loop)