Rename users clean or prune -- use aggregated user statistics#901

DaedalusG merged 10 commits intomainsourcegraph/src-cli:mainfrom

users_clean-use-aggregated_user_statisticssourcegraph/src-cli:users_clean-use-aggregated_user_statisticsCopy head branch name to clipboard