Batch operations on multiple users

Checkboxes to bulk delete users were added in
https://github.com/discourse/discourse/pull/29744