Change the format for the indentation info keys.
Review Request #5352 — Created Jan. 29, 2014 and submitted
Change the format for the indentation info keys.
The key used for recording indentation line pairs was a tuple.
Python is fine with this, but the JSON serializer was not. Instead, we
now serialize it to a string, which is safer.
Unit tests passed.
Viewed a diff with indentation changes and saw the proper changes.