YubiKey personalization library and tool