A simple utility to convert JPEG to PGM.