Added the gifize function (allows one to easily convert video into an animated GIF.