pgsql: Rethink naming of contrib/intagg extension.

Rethink naming of contrib/intagg extension.

Initially it was called int_aggregate after the old SQL file, but since
the documentation just says "intagg" and that's also the directory name,
let's conform to that instead.

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/74883d33730ecb69e6f4142deb8c5882af127b32

Modified Files
--------------
contrib/intagg/Makefile | 4 +-
contrib/intagg/int_aggregate--1.0.sql | 32 ---------------------
contrib/intagg/int_aggregate--unpackaged--1.0.sql | 6 ----
contrib/intagg/int_aggregate.control | 4 --
contrib/intagg/intagg--1.0.sql | 32 +++++++++++++++++++++
contrib/intagg/intagg--unpackaged--1.0.sql | 6 ++++
contrib/intagg/intagg.control | 4 ++
7 files changed, 44 insertions(+), 44 deletions(-)