Add manpages, which are from debian