Fault-tolerant distributed Jabber/XMPP server