Update INSTALL.txt (was still referring to babble.xmpp)