[RFC] Use ffmpeg to determine whether a gif is animated or not.