Update to CodeMirror 4.2.

We've been running CodeMirror 3.20, but there's been quite a few
releases since then. These have focused on speed, bug fixes,
compatibility, and a bunch of things we honestly don't care about right
now.

Reviewed at https://reviews.reviewboard.org/r/5852/