Postgres Extension for the HipHop PHP Virtual Machine