add serialization of Config to std::ostream