How to setup redundant ejabberd servers?

You need to follow the clustering guide here http://docs.ejabberd.im/admin/guide/clustering/