Add copyright header, fixes #22