Implemented font size and editor mode in Settings

Removed the option to expand tabs to spaces as it is nontrivial to implement in
codemirror, and is not particularly important.
Made loading settings more fault-tolerant

Now, any config options missing from the settings file will be filled in with
the default values.