Add missing scripts to compression helper

Closes codemirror#4122

Author: marijnh

doc/compress.html

@@ -252,12 +252,14 @@ <h2>Script compression helper</h2>
           <option value="http://codemirror.net/addon/comment/continuecomment.js">continuecomment.js</option>
           <option value="http://codemirror.net/addon/edit/continuelist.js">continuelist.js</option>
           <option value="http://codemirror.net/addon/hint/css-hint.js">css-hint.js</option>
+          <option value="http://codemirror.net/addon/lint/css-lint.js">css-lint.js</option>
           <option value="http://codemirror.net/addon/dialog/dialog.js">dialog.js</option>
           <option value="http://codemirror.net/addon/fold/foldcode.js">foldcode.js</option>
           <option value="http://codemirror.net/addon/fold/foldgutter.js">foldgutter.js</option>
           <option value="http://codemirror.net/addon/display/fullscreen.js">fullscreen.js</option>
           <option value="http://codemirror.net/addon/wrap/hardwrap.js">hardwrap.js</option>
           <option value="http://codemirror.net/addon/hint/html-hint.js">html-hint.js</option>
+          <option value="http://codemirror.net/addon/lint/html-lint.js">html-lint.js</option>
           <option value="http://codemirror.net/addon/fold/indent-fold.js">indent-fold.js</option>
           <option value="http://codemirror.net/addon/hint/javascript-hint.js">javascript-hint.js</option>
           <option value="http://codemirror.net/addon/lint/javascript-lint.js">javascript-lint.js</option>