This commit will add the building of a manual by doxygen to the build phase
Created by: AdminXVII
By default, it will build the manual and install it with the build process if Doxygen is present. Optionally, it will also build HTML documentation with a custom theme. This could be used as github pages if the maintainers sees it fit.