Use newest Xcode on travis-ci