Poszukałem troche i dowiedziałem się, że nie jest tak trudno zrobic takiego GIF'a
Najpierw trzeba zrobić WMV z REC, a potem z WMV GIF
http://forum.dobreprogramy.pl/viewtopic.php?t=36721 - Tu są programy jak zrobić z WMV GIF
A jak zrobić WMV z REC to na forum jest dużo opisów.