debian/copyright: add third party files.