Based on that thread (and some experimentation to fill in the blanks) I wrote the attached python script that can read both compressed and uncompressed empeg image files and dumps them to PPM format. I also had one that worked the other way around, compressing a PPM image down to compressed empeg format, but that one completely lacks any form of usability and documentation

The attachment seems to have failed, I'll try again when I get better connectivity