Update starts now, if local and github version of version.txt is unequal.