BUILD_WEB_DOCS implies BUILD_DOCS

This fixes the build when -DBUILD_WEB_DOCS=1 is specified wihout
specifying -DBUILD_DOCS.  This fails because man2html/groff are
not found because the find_program command for these programs
is only run if BUILD_DOCS is enabled.