video2gif: A command line script to convert video file to (a reasonable) GIF - View it on GitHub