Convert a video file to an animated GIF, scaled to the desired size.
v2totoz.sh inputfile [size] [name]
Default size is 140 (width).
$ ./v2totoz.sh ../../Documents/C8P8kU-UIAEUsNA.mp4 100 plop
Input: ../../Documents/C8P8kU-UIAEUsNA.mp4
Scale: 100
Tmpdir: /tmp/frames-17276
Output: plop.gif
Type: GIF image data, version 89a, 100 x 56
Size: 159 kB