debian/copyright: add another third party copyright statement.