Add a new CMake option (-DBUILD_MAN) which can be used to deactivate the man page build steps. This is especially useful in a development situation where "make all" is needlessly slowed down by these build steps.