Add support in Web IDE Editor Model class to allow setting certain
options that can be modified later. The options include both existing
options already supported by Monaco, and some custom options that are
updated to the model value right before dispose.

Existing options now configurable:
- insertSpaces
- indentSize
- tabSize

Custom options added:
- trimTrailingWhitespace
- endOfLine
- insertFinalNewline