Change an animated GIF's dimensions.
Set a dimension to 0 to scale it automatically and keep the aspect ratio.
No file handy? Try a sample
