YubiKey Personalization cross-platform library and tool