deprecated the old header hack used in python_to_pythonjs.py, replaced with a command line option: `--module name` for when sending input using stdin,
otherwise the module name is the first python file given on the command line.