Updated TypeScript, Knockout and CodeMirror, recompiled.
CSS fixes for Mozilla, path fixes in index.html.