[patch] Use short file names for the doxygen generated files

[Benjamin Kosnik]

  Matthias
> 
> 2008-01-21  Matthias Klose  <doko@ubuntu.com>
> 
> 	* doc/doxygen/user.cfg.in: Set SHORT_NAMES to YES.

In, thanks.

Now that we have more and more nested namespaces (and thus longer and
longer names) I suppose this will have to be the default.

-benjamin