DOMjudge 3.4.1 released