Update deployment Dockerfile#479

MisterDA wants to merge 2 commits intoocaml-bench:mainocaml-bench/sandmark:mainfrom

MisterDA:DockerfileMisterDA/sandmark:DockerfileCopy head branch name to clipboard