re-added DoxyGen support from old Makefile

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