Win port

Two changes:
- Move a PyInstaller hook back to PyInstaller where it belongs.
- Workaround a Unix-only usage of the standard library tempfile, so ctags works on Windows.