Updating doxygen for branch master to stxxl/stxxl@807f98f53dce2c1e71b3f8f6715d0e923e2316cb