Screengif is a command-line tool to convert SCREENCAST.mov into ANIMATED.gif.