improvements to Doxygen pages

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

• [2017-05-10 16:56] Validation started with lhcb-gaudi-merge#133

approved this merge request

enabled an automatic merge when the pipeline for efe810d8 succeeds

merged

mentioned in commit 5b0f4894