debian/copyright: add new additional copyright holder.