Output should be piped through `publish_execution_result`

[ioanaif]

Currently, the output is picked up automatically by the kernel as it is sent to std::cout (1), but it should be piped through the publish_execution_result(2)