Stopping the interpreter on EOF

This allows for a graceful termination of the interpreter, without having to resort to SIGINT (Ctrl+C).