Separate the codemirrorepl code and only use it for interactive
Python - use the latest codemirror for the autograder.