Draft: dune build scripts

This is part of iris#471 (closed).

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