add "Launch REPL" section in README