Python program that adjusts the time when the lines in a .srt file will appear in a media player