Blender Git Loki

Annotation Eraser Tweaks

* Remove the "soft" modes from the annotation eraser. Now, erasing
strokes will immediately remove the stroke points. This works better
for annotation use cases, as when erasing strokes, you usually just
want to get rid of the notes quickly.

* Show eraser brush size setting in the topbar/tool settings when the
eraser tool is active. (Note: This setting still uses the userpref
setting, which we should move to the scene toolsettings instead
so that it doesn't get reset with each session)