split runtime into two files, pythonjs-minimal.js contains just what is likely needed for programs that do not depend much on too many pythonic features.