Virtualdubmod te lo hace. Tienes que ponerle nombres secuenciales a las imagenes, por ejemplo 0001.bmp, 0002.bmp, etc... Luego con el virtualdubmod abres la primera y automáticamente se cargan el resto
En el menu video marcas Full Processing y en Compression seleccionas el codec de compresión que quieras y lo configuras (bitrate y eso), luego en el menú file -> save as... lo guardas como AVI.
Espero que te sirva