Added portal and user server caching

Portals and users discovered by team members are synced to the server,
so other users can see their names without having to find them
themselves.