Fix JSON format of users and roles in admin REST API

And that's 'fix' in both senses of the word. It restores the old format
of the admin_channels property (an array of strings) and ensures that
the public data schema stays the same even when we change the internal
User and Role objects.
Fixes #78