This utility makes a FLI animation that can be viewed with xanim (available on the department machines). FLI is not nearly as compressed as MPEG, but the playback quality is far superior. Only PPM format frames are supported. The encoder is available at:
http://vento.pi.tu-berlin.de/fli.html