Update build process to cope with new CodeMirror version
Release 3.21.0