The simplified explanation is that I use VLC player for screencapping, and then Photoshop CS5 to actually compile/crop/sharpen/color the .gifs! I don’t know how much detail you want, so feel free to ask specific questions for more info.