Add option to specify an additional overshoot time when kicking off a…#2735

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

meisterT:rejudgeovershootmeisterT/domjudge:rejudgeovershootCopy head branch name to clipboard