Debian packaging of yubico-personalization-gui