Why doesn't we make docker-cloud.json use this format instead? We can easily get rid of `gceConfig`.