PGDump: improve documentation of POSTGIS_VERSION option