Use new travis ci docker infrastructure