update codemirror again to pick up some recent fixes