Improve live editor

* Use CodeMirror
* Add code URLs (base64 encodes, then sets hash)
* Add TogetherJS (live coding with multiple people!)
* New button style
* Other tweaks