[Softix]

I recommend you to search for it using your preferred search engine, just type something like ".avi to .gif converter", or download a free video decompiler to extract the frames you want to animate and then download a free program to create animated gif and you will have what you want.