Convert images:
From: PPM
To: GIF
Create a tgz file.