re-added DoxyGen support from old Makefile to CMakeLists

slightly modified to be invoked by "make doxygen" and to put
results into Documentation/doxygen-html