Added jslint support to the CodeMirror editor