Debug code removed
Real solution for the non-ascii-history problem

We were using a history entry separator including \0 that wasn't
writeable as an utf-8 file.  Changing the separator to \n}{\n allows
using UTF-8 characters in the REPL which are correctly read back.