krb5: new tag krb5-1.15.3-final

[Greg Hudson]

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

commit c0157a56d290b1912110c0869e77b322de0bc5b6
Author: Greg Hudson <ghudson at mit.edu>
Date:   Thu May 3 14:24:15 2018 -0400

    Update for krb5-1.15.3