As high-profile newcomers snatch up Miami leases, Amadeus, a leading travel software company, is downsizing its footprint in the city.