v2gif video2gif with ffmpeg and pngquant script to convert any ffmpeg supported file to gif with selective png compress by pngquant