Updated codemirror to avoid dodgy gutter due to failure to identify IE11
as IE