This makes a few changes to how bot users' information is displayed in
the UI to make them more distinguishable from normal users.

These changes affect the follow views:

- User profile view (made more activity-centric)
- User popover (show a link to bot's documentation, only for security
bot at the moment)
- Show a link to the docs in the users admin