Autocheck for new DOMjudge releases#3055

vmcj wants to merge 2 commits intoDOMjudge:mainDOMjudge/domjudge:mainfrom

vmcj:check_versionvmcj/domjudge:check_versionCopy head branch name to clipboard