Fix missing python.js from CodeMirror upgrade

Forgot to put the file in - python.js.old was me getting rid of the old one.