adding option for doxygen doc generation