Upgrade to CodeMirror 3.20