DOMjudge packaging for (Linux) distributions and live image