draw-tools plugin: new feature - snap points to portals
useful to fix badly placed lines/polygons
Merge pull request #20 from jonatkins/master

draw-tools plugin: new feature - snap points to portals