These commands are helpful for scripting the distribution of build-many-glibcs.py runs across multiple builders.