Python scripts for manipulating subtitle files