corrected minor bugs in the documentation, added Doxyfile, generated documentation