Fix #150. Update CodeMirror to 3.02, skipping some unnecessary files from archive