Customize editor settings + theme

Hardcoded some editor settings, e.g. tabSize, indentWithTabs, etc. In
the future, those settings will be loaded from the disk.

The default editor theme has been changed.
FontAwesome icons on files panel

Lots of icons to choose from.