Updated documentation for krb5_rd_ API