Fixed bug in ParseResults.dump when keys were not strings. Also changed...

Fixed bug in ParseResults.dump when keys were not strings. Also changed display of string values to show them in quotes, to help distinguish parsed numeric strings from parsed integers that have been converted to Python ints.