Moifies the times in subtitles (.srt) files
Usage: python subtitle.py
Here is how to add 1 hour, 2 minutes and 3 seconds to the subtitle file named "IronMan3.srt", and then pipe the output to a file named IronMan3.mod.srt:
python subtitle.py IronMan3.srt 01:02:03,000 > IronMan3.mod.srt