debian/copyright: add info about another third-party file.