Enables user export through /admin/users.csv

This is the rest of [#44414205], with a user table including total activity count and public activity count.