The Pains of Config Management in Robotics, and How We Built Miru to Solve Them