krb5: new tag krb5-1.13.5-final

[Tom Yu]

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

commit 1f78e158286d7cfce58fcf8dd482d81adfa3259c
Author: Tom Yu <tlyu at mit.edu>
Date:   Fri Apr 15 19:28:38 2016 -0400

    Updates for krb5-1.13.5