这是一个从TS到MP4批量转换的工具这是一个短小精悍的工具，用于从TS到MP4的批量转换。