Getsimple 3.1 Final call for Issues.

[Carlos]

@ccagle8

Ok then, here are my updated suggestions :-)

For menu-manager:
- Allow disabling it via a gsconfig option

For theme editor highlighting:
- Allow disabling it in Settings, just like the WYSIWYG editor (on a per-user basis, too), e.g.: "Enable source code highlighting" (a checkbox, default on)
- Highlighting not only for theme files, but also for components (and maybe, if possible, for normal page editing when not using the rich editor)