gif制作工具，可以实现录制视频，将其转化为gif导出。