This is a rewrite of the DUNE installation instructions, giving more details on how to specify options and to influence the build process