Update CodeMirror to latest upstream (3.1)