Small script in python to convert txt files to srt files