nur kurz zum Abschluss:
ich habe es jetzt als Python Version abgeliefert, und alle sind zufrieden.
Es kommen ohnehin noch zu kopierende Files dazu, also war die Größe letztlich egal.
Danke nochmal für die Hilfe!
When you come across a big kettle of crazy, it's best not to stir it.
Muhahahahahaha, pwned du kacknoob!
*gockel gockel boaarrcck*
Da war doch was: PyInstaller
Der erzeugt Binaries für Windows und Linux, und zwar jeweils nur eine einzelne Datei und nicht mehrere. Einige meinen, der sei "besser" als py2exe, kann da aber selbst noch nichts zu sagen.