filter-branch: add git_commit_non_empty_tree and --prune-empty.