Teach coverity that pipe initializes its argument#3201

eldering wants to merge 1 commit intomainDOMjudge/domjudge:mainfrom

cov-model-pipeDOMjudge/domjudge:cov-model-pipeCopy head branch name to clipboard