Minor documentation fixes
Make Doxygen work in out-of-source builds
Include documentation in binary package