Merge remote-tracking branch 'schanzer/codemirror-3.1' into codemirror-3.1
Merge remote-tracking branch 'schanzer/codemirror-3.1' into codemirror-3.1
updating codemirror to HEAD
reloading the minimized library for codemirror: regression corrected by marijn