Record your terminal and generate animated gif images