Human-friendly names in JSON serialization and parsing.

For testing/debugging, it is easier to write a proto JSON like the following (instead of the integer-based indexing):
{
   "property": "value"
}