Camtasia. Just put the avi file in it like Windows Movie Maker, and produce the video as a custom movie file. Make it a gif, bam-zippity-do-da.