krb5: new tag krb5-1.13-final

[Tom Yu]

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

commit 3165ae71ba685ff0f105383a2c2a27a76e8efac4
Author: Tom Yu <tlyu at mit.edu>
Date:   Wed Oct 15 18:44:48 2014 -0400

    Updates for krb5-1.13