readString(): Read directly into std::string

When reading a huge string, this halves memory consumption.

(Strictly speaking, this appears only valid in C++17, but who cares...)