Build and export gss_destroy_cred(). This permanently destroys the credential, rather than releasing a handle to it.