Use codemirror in index.html. Preload some Javascript.
Merge pull request #6 from rsbohn/master

Use codemirror in index.html. Preload some Javascript.