Does anyone know how to delete a local docker deployment configured by Graphcool? https://www.graph.cool/forum/t/how-to-delete-local-docker-deployment/1870