prepare for Travis CI Xcode 5 upgrade

This PR prepares the branch for Travis CI to upgrade to Xcode 5. When Xcode 5 is detected on the Travis CI server it will not install Xcode 5 before running the tests thus saving computing power and speeding up the CI.