Update INSTALL to add instructions about IRC server setup