codemirror python updates