debian/copyright: add information about third-party file.