Remove annoying check on 'opam switch reinstall'

So now you can reinstall the current switch.

As a side-effect, it makes the system upgrade work again.