Fixing docs, re-enable timestamps in doxygen.