Add option to update VERSION file instead of doing it automatically
which usually required a "git checkout -- ." before pulling from
remotes, switching branches, etc.