debian/copyright: add additional copyright holder.