conversion from std::string to json::string