Add setting DISABLE_ExternalProject_UPDATE (advanced option, on by default) to toggle fetching updates from git repos for external projects. Closes #416.
Merge remote-tracking branch 'origin/master'