Update Travis CI config for Xcode 5