Add documentation about the REPL

Describe how you use the REPL, how to change the path of the socket,
and list commands you can use in the REPL