[PULL 09/13] configure: replace --enable/disable-git-update with --with-git-submodules