Primary toolbox: allow user to show/hide category labels

If category labels are hidden, the toolbox will be reflowed as a
continuous stream of buttons, without category divisions.  This is
helpful for minimizing toolbox area, or yielding a Photoshop or
GIMP-like appearance.

I've also added menu options for toggling tool button size, but those
are not implemented yet.