Add gifify, a function to convert movies to gifs

Along the way, automate the installation of its dependencies on OSX.