[Python-ideas] Global flag for whether a module is __main__