When changing repos, validate the settings before actually changing

This also includes another change to avoid the updater-running-twice problem, and it shows you a progress bar while it switches.

It also includes a fix for a bug in #110 which broke anonymous use.