Docker based grader and demo of ocaml-docker