Revert CodeMirror 4.2.

CodeMirror 4.2 resulted in some odd breakages, and was causing some out
of memory issues that caused the browser to crash.

This change reverts back to 3.20.