A bash script to convert a video or part of a video to an animated gif.