Add http mirror for postgresql.

I sometimes work on a network that allows only http (don't ask...).