record your terminal to animated gif