Include the man pages in the debian package