Repl: Handle ctrl-c finally