uses name of catkin workspace passed as argument in order to select the requested catkin workspace
uses the -ge bash comparison operator to look for the CATKIN_WS argument