[Python-ideas] Adding PyInstaller to the standard library