revision -09
Fix typo

The "be" should be "not" in "might be use the S4U2Proxy".

Thanks to Simo
Clarify operation when lacking kdc-verifier

Adopt Greg's suggestion about handling service tickets lacking
kdc-verifier.