Miru: Software Infrastructure for Robotics