Ejabberd 2.1.13

This updates to the recently released ejabberd version 2.1.13