Implementation of the hard eraser for grease pencil. The tool "cuts" the strokes, meaning it removes points that are inside the eraser's radius, while adding points at intersections between the eraser and the strokes. Note that this does not implement the "Stroke" and "Dissolve" mode of the eraser yet. Pull Request: https://projects.blender.org/blender/blender/pulls/110063