There is now a separate size for the main pencil and the whiteout tool. This is helpful when using "White-Out" as an eraser and switching frequently, as one typically wants eraser to have larger radius.

* Remember and restore white-out size

* Isolate size toggle in pencil.js

* Undo toggle back to Pencil on tool change, replace Pencil size concept with Drawing size

Co-authored-by: ishabalin <ishabalin@apple.com>