Fix merged stream end timing#466

younes-io merged 2 commits intotlaplus:mastertlaplus/vscode-tlaplus:masterfrom

younes-io:bugfix/merged-output-end-end-eventyounes-io/vscode-tlaplus:bugfix/merged-output-end-end-eventCopy head branch name to clipboard