ImageMagick
ImageMagick (http://www.imagemagick.org) is a powerful, free software suite to create, edit, and compose bitmap images. It can read, convert and write images in a large variety of formats.
GIF animations
You can use the convert tool from to make a GIF animation from a tiff series, using e.g.
convert -delay 5 animatedMip*.tiff animatedMip.gif
MPEG videos
To be able to create MPEG videos in Linux, you need to download an additional encoder. Compile it and include the binaries together with the ImageMagick binaries.
For the Windows version this is apparently unnecessary, because the mpeg2encode delegate is said to be included with the Image Magick distribution.
The syntax for generating MPEG movies is the same as for GIF animations:
convert -delay animatedMip*.tiff animatedMip.mpg
You can configure the movie parameters with the -quality, -delay, -ticks-per-second, and -sampling-factor command line options of convert.