Update to CodeMirror 3.16.0