Resize a GIF

Change a GIF's size and keep every frame, the timing and the loop.