settings: add ReloadModifiedDocuments for disabling auto-refresh when it's undesired (fixes issue 2342)
make sure that SVN_PRE_RELEASE_VER is also defined when compiling /src/utils/*