This little program is able to mix timing and titles - timing from one srt file and titles from the other