Class StringStream

Simple string stream with a write() method, for replacing stdout when running in script environment. We can't use StringIO because we need the pop() hack.