krb5: new tag krb5-1.9.4-final

[Tom Yu]

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

commit 4480b5ec7aa6c838706724a071a22f98b066990b
Author: Tom Yu <tlyu at mit.edu>
Date:   Wed Jun 20 14:27:54 2012 -0400

    Update README and patchlevel.h for krb5-1.9.4