I wonder how much the software costed in total.
(Assuming US salaries, benefits, taxes and any related costs such as office space, equipment etc.)
But I'm probably biased as I spent 4 years of my life building and running a company that built a cloud based CI service for iOS, so that others wouldn't have to..
Quite a lot I expect.