Switching to xctool for Travis CI