pgsql: Use EncodeDateTime instead of to_char to render JSON timestamps.

Use EncodeDateTime instead of to_char to render JSON timestamps.

Per gripe from Peter Eisentraut and Tom Lane.

The output is slightly different, but still ISO 8601 compliant: to_char
doesn't output the minutes when time zone offset is an integer number of
hours, while EncodeDateTime outputs ":00".

The code is slightly adapted from code in xml.c

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/ab14a73a6ca5cc4750f0e00a48bdc25a2293034a

Modified Files
--------------
src/backend/utils/adt/json.c         |   77 ++++++++++++++++++++++------------
src/test/regress/expected/json.out   |    6 +--
src/test/regress/expected/json_1.out |    6 +--
3 files changed, 56 insertions(+), 33 deletions(-)