krb5: new tag krb5-1.13.1-final

[Tom Yu]

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

commit 2f5d3144379e251cb13797b92d47153e1ab51181
Author: Tom Yu <tlyu at mit.edu>
Date:   Wed Feb 11 13:32:31 2015 -0500

    Updates for krb5-1.13.1