Debian packages and live image for 7.0.1

Hi all, We've made Debian packages and (based on those) a new live image available for the latest DOMjudge release 7.0.1. Details on how to download and use these can be found at https://www.domjudge.org/download On behalf of the team, Jaap Eldering