Change the format for the indentation info keys.

Review Request #5352 — Created Jan. 29, 2014 and submitted — Latest diff uploaded

Information

Review Board
master

Reviewers

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.