What tool did you use to animate your stills and turn into GIFs? My banner would be awesome as a gif.