Use PostgreSQL 11

This is what we use for hydra.nixos.org.

Created by  Eelco Dolstra  on May 27, 2020
MGHUN7RDWRURBAJ6RQZ6DKVAGIXIBZIS54RAJVSTSQEKDPOXM2GQC
Change contents