How to properly terminate ROS and Gazebo