How to convert a video or image into a GIF in linux?