Gifify: Convert a quicktime screencast to GIF