DOMjudge version 3.1.2 released