Update duplicate real names to be unique

When the user manager encounters users who have duplicated real names,
it updates the display name to be "Real Name (username)" so that it is
unique.