draw-tools plugin: new feature - snap points to portals
useful to fix badly placed lines/polygons