[REVIEW ONLY] Speed up CodeMirror scrolling

Experimental. Remove some slow performing rules from bootstrap. On my 2011 MBA, I see a noticeable improvement in throw scrolling in a long file like codemirror.js.