Allow changing patch tool size using normal slider

This is not the best approach, of course, because the preset
itself doesn't do anything for the patch tool. Basically, we
should create some kind of custom preset type for this tool.

BACKPORT:krita/4.1