Enable ability for administrators to delete users (#7296).
User's personal data (eg. preferences, tokens, private queries...) are deleted, public data (eg. issues, wiki edits, attachments...) are reassigned to the anonymous user.
Authored by: jplang 2011-01-16
Parent: [r4728]
Child: [r4730]