bashrc: set the terminal window title