minor doxygen updates (version; header)

14 jobs for doxygen_update in 10 minutes and 31 seconds (queued for 2 seconds)