Implement user deletion in /users

Also, this means deciding:

• what happens to the user's uploaded run summaries (should they be deleted as well? should they be hidden?)
• what happens to the user's user ID (can it be reused by someone else or not?)