krb5: version bumped to 1.13.
Merge pull request #346 from Florin65/krb

krb5: version bumped to 1.13.