no more choice between png or jpeg

images are now extracted as jpeg if possible, otherwise they are extracted as ppm/pbm then converted as png

Signed-off-by: Mickael <mickael@beingenious.com>