c0085fe Enable HTML_TIMESTAMP so auto doxygen update will show build time.