Update documentation and fix Doxyfile.in to generate proper mainpage.