updated debian build system, added -dbg.deb generation, correct doxygen documentation handling