new instant eraser, wysiwyg tool adjust. improvement and tools reset

1. Now, CTRL+SHIFT applies brush size to the eraser and temporarily
selects it.
2. "wysiwyg" tool adjustment is now more precise.
3. tool reset added to menu/tools. Prevents from persistent crashes
caused by corrupted settings file .
Merge remote-tracking branch 'origin/em'