Enable documentation build for Debian packages

Throw in the -DBUILD_DOCUMENTATION=ON so we get man pages and all that other deliciousness.

Note: I have a test build in queue to verify the efficacy of this pull request, but it'll be tomorrow morning before Launchpad builds it.  This is a simple enough change that I'm going to go ahead and say it is OK to merge.