Allow INGInious to close without waiting for processes that never end
Merge branch 'master' of githubGuillaume:UCL-INGI/INGInious