Shell script that records video as animated GIF file.