added sample: gifscale.pl - scale an animated gif