Upgrade PostgreSQL from 9.2.3 to 9.2.4

This fixes a serious security issue, which affects servers exposing the
database to the public.

See http://www.postgresql.org/support/security/faq/2013-04-04/