New Debian packages and live image for 5.3.2

Hi all,

We just created Debian packages and a live image for the latest 5.3.2 release.

The Debian packages should work on Debian Stretch (latest stable) and newer, and probably also on Ubuntu Xenial (16.04 LTS) and above, but that's untested so YMMV.

The live image is based on a freshly built Debian Stretch.

These can be downloaded from the usual places, see: https://www.domjudge.org/download

Feedback very welcome!

On behalf of the DOMjudge team, Jaap Eldering