Merge branch 'doc-dunemodule' into 'master'
Clarify README for new dune module
See merge request !243 (merged)
(cherry picked from commit 50c1e44f)
96dbea12 Clarify README for new dune module
Co-authored-by: Hamza Oukili hamza.oukili@iws.uni-stuttgart.de