Changes for editor-merge branch of ide

This changeset adds the codemirror 4.2 and Orion javascript and CSS files.
It _must_ be merged at the same time as the editor-merge branch of ide, or shortly after as merging any of both without the other will break some editor functionality in ide.