added missing licenses to debian/copyright