Draft: dune build scripts

This is part of iris#471.

Instructions are needed, but with dune 3.4 this already supports dune build, dune coq top.