Upgrade codemirror to v4.2.0