Adding a user to a server that is already there will not add it again.

server.get_users() returns a list now instead of a set.