Adding readline to REPL