add a script to build dune from anywhere inside the dune stuff

This adds the build-dune.sh from @stephan.hilb to the scripts directory. It basically aims at sophistically guessing the options for dunecontrol