[bugfix] distribute man page

Configration of dune fails if the manpages are not distributed.
(cherry picked from commit 329d2a351fa71525b3b210d6acec7896c2ae0725)

Signed-off-by: Markus Blatt <markus@dr-blatt.de>
[release,cmake] Removed debugging output when building tests.
(cherry picked from commit b9073e974093810fcd38645d7d26fdcc9c692f0e)

Signed-off-by: Markus Blatt <markus@dr-blatt.de>