README.md for the REPL and the module

And rename the REPL binary