Theming for menu module's settings tab. Note that I removed the ability
to turn on/off menu editing from the settings tab, as this is redundant
functionality (Use the "turn on menu editing" link in the page settings
instead.) Refs #26