Added Ace Editor options and redesigned Opts Page

- The Options Page has been re-designed.
- The Ace Editors can have their settings changed.