Merge branch 'fix/do-not-print-paramfile-as-unused-param' into 'master'

[logginParameterTree] Exclude "ParamFile" from unused params

Closes #738

See merge request !1673

dumux/common/loggingparametertree.hh

@@ -467,7 +467,7 @@ private:
         // store keys which were not accessed
         const auto& keys = tree.getValueKeys();
         for (const auto& key : keys)
-            if (!usedRuntimeParams_.hasKey(prefix + key))
+            if (key != "ParameterFile" && !usedRuntimeParams_.hasKey(prefix + key))
                 unusedParams.push_back(prefix + key);
 
         // recursively loop over all subtrees