Hi Marc P

What you need is a free gif animation editor.

Here is one, its from a search I did at Cnet for free animation apps.

Your setting yourself up for a lot of work, if you are thinking of taking frames from a video and making a smooth gif animation out of them.

That link you gave for that animation has one hundred and twenty-three frames. Naja, when one has time on their hands