Drop stale BUILD_DOXYGEN_DOCS cmake option

Andreas Sturmlechnerrequested to merge
work/asturmlechner/cmake into master

It has been ineffective since commit 01486d82.

Merge request reports