Debian package of yubikey-personalization