Pixi: Reproducible Package Management for Robotics