TIFF-to-PNM converter and png22pnm, a PNG-to-PNM converter