miti/mitigator @ c6f342c21b729ba0fbe947f75ed79c7ded0c4cac

Miti Mazmudar d40f7cf192 Fixed the comment for tee names in deploy_enclaves script		4 gadi atpakaļ
..
Dockerfile	c6580ddba4 Fixed the server config - just the domain name fetches the right pg.	4 gadi atpakaļ
deploy_enclaves.sh	d40f7cf192 Fixed the comment for tee names in deploy_enclaves script	4 gadi atpakaļ
find_docker_ip.sh	2467534186 Initial release of Dockerfiles and scripts for building and running Mitigator	4 gadi atpakaļ