String deduplication

I use a temporary (Python) dictionary object to deduplicate strings in JSON input. Implementation is simple, utilizing Python's own dictionary object. This could be optimized, but it works pretty well as it is. The effect on memory usage is similar to string interning.