faster lookup of doxygen tags and finding version without git tags

9 jobs for master in 8 minutes and 19 seconds (queued for 2 seconds)