Update CodeMirror to v3.19.