An interactive shell to retime SRT files.