GDIST: A Distributed Configuration Control System