Use readline for the repl