install and use xcode 5 in travis ci