Duneify Sandmark

[shakthimaan]

Phase I

• Move the Makefile commands to Bash shell scripts

Phase II

• Replace the shell scripts with https://github.com/janestreet/shexp and OCaml.
• Use dune to build Sandmark

Given the number of configuration options, we can leverage the benefit of static types in Sandmark.

[moazzammoriani]

Would it be desirable to have things like the variable assignment in the shell script for variables like the ones near the beginning of the Makefile? Or perhaps the more general question is: what not to use shell scripts for? As for what purpose the shell scripts ought to serve, I definitely think readability would be vastly improved if recipes for each target in the Makefile were replaced by the invocation of shell scripts wherever possible. Perhaps Phase I can be broken down in terms of any such targets in the Makefile then.