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