Update debian/copyright.