core: add cmake option ENABLE_MAN to compile man page (on by default)

For configure, the option is "--disable-man".