Fix editor in IE by upgrading Codemirror