If you're using a reasonably recent version of Premiere, it has Adobe Media Encoder which will output to Real, Windows Media, Quicktime, or various other formats. I think most of the other popular programs (Vegas, Ulead, etc) do also.

If you're going to be doing this a lot, I recommend Sorenson Squeeze, which is a batch encoding program.

There are definitely programs out there that will split video for you, but keep in mind, you really should have 2257 information on each clip, so for all practical purposes, you will probably need to split them manually so you can add the 2257 slide.

Hope that helps.