If doxygen is present, always build manpages

Fixes #156
Remove unnecessary debian man page build step

I believe it should just work now
Merge pull request #157 from rtucker/fix_doxygen_man_page_build

Fix doxygen man page build