Upgrade to PostgreSQL 12

PostgreSQL will become the minimal support version somewhere after November 2020. We need to decide how to handle those more rapid upgrade paths.