Upgrade from postgres 9.2 to 9.3.

Note that this is a difficult and complex upgrade, and MUST be
done manually on the server side. There is *no* scripting support
for upgrading your version of pgsql.