Is there an Ubuntu program that can edit a 30-minute video and make gifs from it? The Gimp plug-in doesn't work with the videos, I believe, and online gif makers can only upload small size videos.