Simplify runpipe code including some minor stylistic improvements.#3154

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

meisterT:runpipe_stylemeisterT/domjudge:runpipe_styleCopy head branch name to clipboard