User editor improvements #27
Description
- Users should be sorted by something other than their user ID
- Creating users requires a lot of clicking; a typical usecase is to create ~15 students at the same time, but currently you have to click the permissions dropdown and select "student" for each one