git-gc: do not run git-prune by default.