Add postgres to INSTALL