Lightweight library for software auto-update for applications frozen with pyinstaller