Adding instructions on how to fire up the REPL