Accept total_files in FileBased splitting.

I think you've got the understanding of how CRAB and WMAgent do things differently down perfectly. I don't know either how this could be made more useful generally (i.e. if we wanted to do the same kind of splitting for WMAgent).