Dune is not downloaded by default

Can use Dune from system. The patches do not seem to apply anymore.
This commit builds on #114.