swift234

[update-checkout] Small refactoring to make it clear that config['repos'] contains generic repo information, not just remote information.

I was trying to get this right a bit ago, but I remained unhappy with the
result. This at least makes it clear when reading the config file that
config['repos'].keys() serves in the code as the "source" of the names of
repositories.