DOMjudge developer/maintainer helper scripts