debian: include man pages in package again
debian: update copyright, GPL license