Sharing the ROS includes stuff to host machine from Docker

sharing.txt

First open a `cmr shell`.

Then run `docker cp [container_name]:/opt/ros/melodic ~/ros-melodic`.

Then run `docker cp [container_name]:/usr/include ~/ros-includes`.

Then run `sudo mv ~/ros-melodic/* /opt/ros/melodic`

Then run `sudo mv -vn ~/ros-includes/* /usr/include`
The -vn flag will make sure we don't overwrite anything we already have (because that would make some issues with versions)