miti/mitigator @ 7833d0610b18a96ed6a4677b2808ccb405a0b85a

Miti Mazmudar 7833d0610b Small fixes to main dockerfile		%!s(int64=4) %!d(string=hai) anos
..
Dockerfile	7833d0610b Small fixes to main dockerfile	%!s(int64=4) %!d(string=hai) anos
deploy_enclaves.sh	d25a998e06 Increased the time interval before running phpext so that verifier finishes LA	%!s(int64=4) %!d(string=hai) anos
find_docker_ip.sh	56125c4ccf Works with newer version of graphene	%!s(int64=4) %!d(string=hai) anos