Bug 1026811 - Update to CodeMirror 4.2.0. r=robcee