PostgreSQL 9.3.1

- Use sha256 instead of sha1, because the upstream download site
  provides the former.

- Remove various workarounds for PL/Python build issues.  These have all been fixed upstream.