ChoiRbot: A ROS 2 Toolbox for Cooperative Robotics