bootstrap: support --no-git option