Use new travis infrastructure