Final changes to paper
Add repl target
Add full README