update codemirror to 4.7.0