Add gifify formula

Updated formula for #25072
Since this requires ffmpeg, how about using that to generate a test pattern?