update header

Update copyright years and remove header information that is redundant
in the age of Git.