A very simple, dependency-free JSON encoder.