krb5: new tag krb5-1.10.7-final

[Tom Yu]

A new lightweight tag "krb5-1.10.7-final" has been created in the krb5
repository for the following commit:

commit 9ffcd7c7e0394afa6045c982585387b2cd4cae7b
Author: Tom Yu <tlyu at mit.edu>
Date:   Wed Nov 6 15:19:47 2013 -0500

    Updates for krb5-1.10.7