The short answer is that I used gifine [1]. The longer answer is that I researched this extensively and wrote a post called Terminal Recorders: A Comprehensive Guide that covers many of the available options [2]. If you're trying to pick a tool to use, you might find that post useful. Gifine was the right choice for me, but there are pros and cons for each tool.