add explicit 'stream end' event

this allows the stream consumer to know that no more events will occur,
and to stop trying to consume them

[#80512764]