Upgraded embededd org.json classes to version 2013-11-12.
JSONObject.numberToString() now outputs large Double integers as integers.

For instance, 99999999 is now serialized as "99999999" instead of "9.9999999E7"
Added --pg-server=<port> option access embedded H2 database in PostgreSQL mode.