gnulib-tool.texi: mention possibility of git submodule