DeimOS: a ROS-ready operating system for the e-puck