Removed the CodeMirror library

Removed the CodeMirror library.
Use the version bundled with Firefox