Converts a PPM file to an EXR file in [0,1]. If the input is 8 bit per
channel, the input is gamma corrected according to the PPM standard.
Images which are 16 bit per pixel are treated as linear intensity
This program works with the 48 bit per pixel PPM files output by the
dcraw program for converting from raw pixel formats found on many