Upgrade Codemirror to 3.19