add increase/decrease font size menu items (ala browsers)
avoid a wrapper on callbacks that get stored in a weak table

This fixes a bug in DrRacket where by changing the font size
would cause the line numbers to encroach on the space allotted
to the main text of the definitions window (or, if the font size
is getting smaller, make a large gap)