Added a new global setting USER_PRETTY_DISPLAY_FUNC to allow custom unicode representation of a User object.