A schema diff tool for PostgreSQL