Switch to the new style travis script