Convert OGV videos to animated GIF.