Allow "make doxygen" to generate docs; Misc changes