Eliminate stdostream (finally, that was awful.)

luprex/cpp/core/drivenengine.hpp

@@ -206,10 +206,6 @@ public:
     //
     SharedChannel get_stdio_channel();
 
-    // Obtain the output buffer of the stdio channel as an ostream.
-    //
-    std::ostream &stdostream() { return *stdostream_; }
-
     // Set the prompt for the console.
     //
     void set_console_prompt(const eng::string &prompt);
@@ -304,7 +300,6 @@ private:
     SharedChannel channels_[DRV_MAX_CHAN];
     int next_unused_chid_;
     SharedChannel stdio_channel_;
-    std::unique_ptr<std::ostream> stdostream_;
     eng::vector<SharedChannel> accepted_channels_;
     eng::vector<uint32_t> new_outgoing_;
     eng::vector<uint32_t> listen_ports_;