Merge branch 'feature/update-man-page' into 'master' Update man page of dunecontrol Closes #52 See merge request !159 See merge request !174