ejabberd 20.03 has been released

Some bug fixes but also a few improvements. Let’s keep rolling !