Use short file names in Doxygen output

We are reaching the filesystem limit otherwise.
Merge pull request #246 from jspricke/doxygen_short_names

Short filenames for Doxygen