This tutorial shows how to convert a piece of video to an animated png file with mplayer and apng assembler. Animated png is a true-color animation format, and I think it will be a better replacement for gif.