Refactor JSLint into an extension
Merging
Adding JSLint
Renamed jslint to JSLint
NOTICE updated
Update the JSLint menu insertion
Merging and fixing issues after review
Rerun Travis
Update to latest CodeMirror. Should be working now.
Merge pull request #3143 from TomMalbran/tom/jslint-refactor

Fix #3094: Refactor JSLint into an extension