Convert a series of images into a gif animation, with the possibility to apply various processing on the input image (cropping, rescaling, etc.).