upgrade to codemirror 4.7.0
merge to master