Added animate.c: make GIF animation from several pictures.