视频如何转GIF，能将视频转为GIF的软件有哪些