Don't try to install doxygen related stuff, if doxygen is not installed.

This fixes #803, but leaves us with the ugly situation, that docs in the 
tar balls don't get installed, if doxygen is missing.

[[Imported from SVN: r6435]]