INSTALL.md: postgis legacy not needed anymore