Feature #1704: add gui setting for DisableVersionCheck=1
DisableVersionCheck checkbox was added to options->general