add missing python.js file from CodeMirror upgrade