Proposal: a custom build tool for Coq projects

@tchajed the plan is to use Dune, see https://github.com/ocaml/dune/pull/1555

While the tool there is functional, a new tree implementing some improvements is almost ready and I shall post an update ASAP, I just need to find a few hours to work on it, but I am a bit constrained as of lately.