Use new Travis infrastructure