Simplifies parsing and makes it more correct.

Inheriting from PushbackInputStream simplifies the implementation of
JSONStringEscapingInputStream.

Also, extends the implementation to encode all control characters.