Build docs with make instead of directly using doxygen

This way, the README.md file is converted to doxygen acceptable
markdown first.