travis: elect to use docker