Provide compilation option for existing dumux installation#702

Fujikawas wants to merge 1 commit intodevelopprecice/tutorials:developfrom

dumuxcasecompilationprecice/tutorials:dumuxcasecompilationCopy head branch name to clipboard