New DOMjudge releases: 3.4.5 and 4.0.1.