Added license to doc files

While the documentation is licensed using GFDL, the man source is
licensed with verbatim license in a way to avoid problems on Debian:
http://www.debian.org/vote/2006/vote_001