DOMjudge 7.0.0 release and slack