Some scripts/tools to assist with packaging DOMjudge for debian/ubuntu