Replace hard-coded tmux session name

[Kelym]

In close_herb_all.sh, replace hard-coded tmux session name.
BTW I have no idea how to do it? 😖

[brianhou]

We could grep start_herb_all.sh for lines that start with [pr_ros_]launcher, but I don't think it's that high of a priority.