branch: HEAD

remove a separate mic section in gss packet, using the mechanism's token
to guarantee data integrity. by this we get better performance in krb5p.
b=16042
r=fanyong
r=wangdi