Python utilities for Kerberos key derivation