Add instructions on ROS setup for Debian