A Python scripting tool for creating karaoke subtitle effects