Adding a way to set the terminal title on the command line (set_title)