Scripts and rosinstall files for installing the core ROS packages for running Dumbo