Update debian/copyright with the dev-license changes