For *.gif output: You can do that with Photoshop or Flash (also provides SWF and more) for example. Even GIMP might work but I'm not sure on that.
For *.avi output: If you're good with computers and know a little progamming language (or basics, at least) you can do it pretty easily with ffmpeg. See:
Here
FinalCut can also do that, but it's pretty expensive as well.
Results from a quick Google search: (Programs should be able to do it, not tested by me.)
http://easy-image-converter.software.informer.com/ <- for gif only, probably.
http://active-gif-creator.software.informer.com/ <- same
http://magic-pic2ani.software.informer.com/ - Gif, SWF, and I dunno what else.
If all of that doesn't help you, you can send me the pictures and I'll transform them for you if you want me to.
Edit: Or if you want to save the money for PS/Flash.
😉