Dynamic config

Dynamic config

Previously, changes to the list of pinch files or the list of user environments
required two updates to take effect (because these were incorporated into
the update script itself).  Now they take effect after one update cycle,
as one would reasonably expect.

Changes to the list of repos to pull take effect even if system build fails.
This is intended to allow recovery from situations that would otherwise
cause updates to stop.