The PostGIS Topology Editor plugin