updating doxygen and manual. this is merely a test for make doc-upload