Script editor updates; options singleton

Added an XML syntax highlighter, which will definitely need tweaking.
Auto-selects Lua vs XML highlighting based on extension of the file.
Options is now a true singleton class, so it can use signals/slots.