build: introduce $SKIP_GIT for make dist (off-line or behind a proxy).