Go back to the linux workers

The Travis OS X workers have caused us nothing but problems. Going back to the linux nodes.