with the added travis capacity, would it makes sense to kill https://github.com/pantsbuild-osx now?