use gifsicle for animated gifs! bump version to 0.9.5