update codemirror to 4.7 release