pg_dump support for Extension, patch version 25 (bitrot fixes)

Hi,

The v24 extension patch is already suffering of bitrot after recent
cleaning of src/include/commands/defrem.h as seen here:

http://git.postgresql.org/gitweb?p=postgresql.git;a=commit;h=6ca452ba7fca14dad16425a56ffa1c8a93496b5f

PFA version 25 of the main patch, and v3 of the UPGRADE patch. Those
version also include a fix against over-zealous dependency tracking
where an aggregate were registered twice against its extension.

Regards,
--
Dimitri Fontaine
http://2ndQuadrant.fr PostgreSQL : Expertise, Formation et Support