update codemirror again to pick up some recent fixes

@njx Can you review this update?