Include docs in source distribution.

This would allow to build and ship the documentation with the Debian package.