Ace work

@keertip, some ace editor tweaks:

- change some Ace editor settings to adjust the editing experience
- curate the list of ace themes
- rename `AceEditor` ==> `AceContainer`
- create an abstract `Editor` class
- fix an issue w/ restoring the scroll position

Most of the changes have to do w/ the files touched by the class rename.