Revert "add PyInstaller spec file to repo"

This reverts commit 08f71f1d39a16114b8d45a44ef6f4227e8accda7.

The "spec" file must be regenerated for everybody who wants to make an
executable with PyInstaller, so it's better to include good comments
for doing that, which I will upload shortly.