minor doc patch for example in 'SET' docs - Mailing list pgsql-patches

This fixes:

SET TIME ZONE "PST8PDT";
SELECT CURRENT_TIMESTAMP AS today;

To be:

SET TIME ZONE 'PST8PDT';
SELECT CURRENT_TIMESTAMP AS today;