Add min'd codemirror 4.2.0

npm does not have min’d version

Partially fixes build failure