but gss_refresh depends on gss_cred_get_ctx returning NULL whenever the cred is
not up to date.  So, I replaced the single gss_cred_get_ctx by a
gss_cred_get_ctx and a gss_cred_get_uptodate_ctx.