tickey: extract Kerberos tickets from Linux kernel keys

extract Kerberos ticket