Add REPL documentation to README