Migrated back to PyQt4. The EXE is now smaller, and we can use
pyinstaller, which is nice :).