לגבי הסרטון שיש לך: אני לא יודע איזה פורמט זה, אבל אני מניח שיש הרבה תוכנות שמאפשרות להוציא את הפריימים מתוך הסרטון. למשל premiere / after effects / avid וכו'...
אולי לחלקן אפילו יש אפשרות לייצא באופן מיידי ל-GIF

עוד אפשרות שכדאי לבדוק: Photoshop
עוד לא יצא לי להתעסק עם הגרסא החדשה, אבל יש שם שכבות וידיאו.
ואפשר ליצור animated gifs היישר משם. שווה אולי להריץ חיפוש בגוגל.
טיפ אחרון:
הפורמט הזה לא כ"כ יעיל. אפשר לשמור רק עד 256 צבעים בפריים, ואין שקיפות alpha. מה גם שמעבר לאיכות ירודה, הקובץ עלול להיות כבד מדי.
לכן: תשתדל שגודל התמונה לא תעלה על 300X300 פיקסלים פלוס מינוס, ותחסוך בפריימים.
בקובץ רגיל של סרט יש 24 (23.97) או 25 או 30 פריימים בשנייה (בקידודים המוכרים והנפוצים). עבור תמונת GIF אתה לא צריך יותר מ-10 פריימים בשנייה.
נכון, זה לא ייראה חלק כמו סרט, אבל זה חלק מהאילוצים של לשמור על משקל תמונה שקל להעביר ברשת.
בסה"כ, תשתדל שלא יהיו יותר מ-20 (גג 30) פריימים בכל האנימציה.
אחרת זה יהיה פשוט כבד מדי...