use xcode 5 gm for travis ci