Some cleanups to README.
Remove link for the online REPL - now that the old webrepl is no
longer supported.