DOMjudge version 3.0.3 released