Create an mp4 from the files in the input directory given. If there aren't a ton, make an animated gif. Assumes ImageMagick (for animated gif) or mjpegtools and ffmpeg for H264-encoded mp4.