FEATURE: Make it possible to set the maximum brush size to 10,000

Now users can set the maximum brush size to 10,000. The default is
still 1,000 -- and trust me, a 10,000 pixel diameter brush is
slow and takes a huge amount of memory.

BUG:334123
CCMAIL:kimageshop@kde.org