Better window titles for gnome terminal