Make editing users accessible, and make deleting users possible.

To make finding users to edit easier, I added a link to their edit page on the
'/user/view/{uid}' page, if the viewing user is an admin.

For deleting users, I modified the form a little and added a checkbox on the
'/user/edit/{uid}' page.