travis-ci apparently has iOS 7.1 sdk now

http://docs.travis-ci.com/user/languages/objective-c/