Updating doxygen for branch master to stxxl/stxxl@a7e5db9c3ea09524fb37e2efdde0fc44f6d576c3