视频 tools
视频工具，可压缩、转 GIF、生成字幕、调整大小并提取音频。
Video Compressor 快速简单，支持临时文件处理。
Video to GIF 快速简单，支持临时文件处理。
Subtitle Generator 快速简单，支持临时文件处理。
