Documentation: point git-prune users to git-gc