Duneproject constructs a more complete dune module now. Therefore

we can scrap a large part of the documentation that described on how
to tweak the output of duneproject.

[[Imported from SVN: r5495]]