bashrc: better handling of terminal window title