Manpages of pngtools in Debian jessie