ROS instructions on Debian broken
ROS installation in Debian finished
en: Added section AP_HAL
Merge remote-tracking branch 'upstream/master'
Solved conflicts SUMMARY.md and ap_hal.md