Doxygen now creates files with short names as tar has problems with long names (those with more than 99
characters!) that doxygen creates by default.
The doxygen documentation now gets installed too!

[[Imported from SVN: r4561]]