More solid update semantics

The update script will now run if the version number has changed, even
if the new version is already pulled.