get rid of hooks for luai_writestring

luprex/core/cpp/pprint.cpp

@@ -4,23 +4,6 @@
 #include <ostream>
 #include <iostream>
 
-// This file provides these functions for lua.
-//
-// They direct all output to std::cout
-//
-extern "C" {
-void luai_writestring(const char *s, size_t len);
-void luai_writeline();
-}
-
-void luai_writestring(const char *s, size_t len) {
-    std::cout.write(s, len);
-}
-
-void luai_writeline() {
-    std::cout << std::endl;
-    std::cout.flush();
-}
 
 LuaDefine(string_isidentifier, "c") {
     LuaArg str;