bootstrap: support --no-git option * build-aux/bootstrap: Add --no-git option, to be used when --gnulib-srcdir points to the exact desired checkout. Signed-off-by: Eric Blake <eblake@redhat.com>