AVI to GIF

Convert a verified AVI video to a validated animated GIF locally.