Kerberos support for Yesod Auth