Adding the Doxyfile file to the top-level directory. This file drives doxygen for making source docs.