Bug#1099625: krb5: machine-readable copyright

[Sam Hartman]

I have reviewed and this looks good.
Will merge.


How much work was involved in putting this together and what tools did
you use?