docs/Makefile now builds doxygen docs in docs/html
  If you want documentation to be build elsewhere, define
  DOXYGEN_OUTPUT_DIRECTORY and run doxygen by hand