Restore previous copyright information that got removed by error.

This reverts part of commit 82b026e6376b640a4d3409a461dd6bd83708e33e,
which changed too much of the copyright headers when changing license
to GPL3.