improvements to Doxygen pages

Marco Clemencicrequested to merge
clemenci/Gaudi:gitlab-pages-doxygen into master

A few last minute changes that I forgot to include in !319 (merged).

Merge request reports