Brush resizing is now interactive

Now, brush and eraser sizes can be changed by pressing SHIFT while
dragging the mouse (like in Krita)