I know that licecap(https://www.cockos.com/licecap/) can be used to accomplish that.

Not sure if this is what is being used here though.

asciinema should do the job. It has GIF generation support via its 'agg' tool: https://docs.asciinema.org/manual/agg/