use readline in interactive mode when available
interactive mode: don't exit on Ctrl-C; just restart