Added script used for changing the title of tabs in the Terminal.