Adding the Doxyfile, which is the config file for doxygen and the html
code, that is produced by doxygen.