handle catkin workspaces in .bashrc