Add manpages taken from debian