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?)
Also, this means deciding: