Patch to disable Simple Menu per theme

On a site that uses theme switching (say... for a separate theme for mobile devices), certain themes may be providing their own (non javascript) admin navigation. This patch adds checkboxes to the "advanced" area of the settings page allowing Simple Menu to be disabled for selected themes.

This patch also moves the module "magic" from hook_menu() into hook_footer() so that it can react to the selected theme. The theme has not been initialized in hook_menu(), so we are not yet sure what the rendered page theme will be. Also if, in the future, any external elements are allowed to add or alter items in the simple menu, you'll want to initiate the menu script later during the page call -- i.e. hook_footer().