Update json_spirit_stream_reader.h