java utility to offset the start time of a .srt subtitle file, as well as merge multiple .srt subtitle files offsetting the start time of each