move Doxyfile to docs/doxygen, set output directory to this as well
Authored by: mrieser 2014-05-20
Parent: [r29045]
Child: [r29047]