Remove simple-hint addon

Use show-hint, which is much more solid and configurable.

Author: marijnh

addon/hint/simple-hint.css

@@ -142,7 +142,6 @@ <h1><span class="logo-braces">{ }</span> <a href="http://codemirror.net/">CodeMi
           <option value="http://codemirror.net/addon/fold/xml-fold.js">xml-fold.js</option>
           <option value="http://codemirror.net/addon/fold/brace-fold.js">brace-fold.js</option>
           <option value="http://codemirror.net/addon/fold/indent-fold.js">indent-fold.js</option>
-          <option value="http://codemirror.net/addon/hint/simple-hint.js">simple-hint.js</option>
           <option value="http://codemirror.net/addon/hint/javascript-hint.js">javascript-hint.js</option>
           <option value="http://codemirror.net/addon/hint/xml-hint.js">xml-hint.js</option>
           <option value="http://codemirror.net/addon/hint/html-hint.js">html-hint.js</option>