Build scripts and notes for catkin debian build pipeline. - View it on GitHub