fix(shell): drain stdout/stderr to prevent command hanging on large output#154

skulidropek merged 3 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-153-39dda3815f4ekonard/ProverCoderAI-docker-git:issue-153-39dda3815f4eCopy head branch name to clipboard