improvements to the users page #344

- alphabetize the list of users
- bring the administrators and project managers to the top of the users list
- add pagination to the users page, with 40 users listed per page