Remove one unnecessary backslash-check in StringReader::getTokens(). (This patch looks like it's removing the last backslash-counting loop, but really it removes the first one and then reindents everything.)
Use std::string::substr() instead of adding one character at a time. This patch also removes a few unused util functions that are easily written using substr().