A python script for adjusting subtitle timing