Updating doxygen for branch master to stxxl/stxxl@371e6ad10ed8e3ddd8ddfc92ca2c5e2e13528221