re-init krb ticket when we notice it expires

At this time, no test for this patch is available

Bug: 968608
Merge "re-init krb ticket when we notice it expires" into release-0.13