Refactor SystemSettingsProvider, create UserSettingsProvider
Merge branch 'master' into user_settings

Conflicts:
	src-terminal/com/jediterm/terminal/ui/AbstractTerminalFrame.java
	src-terminal/com/jediterm/terminal/ui/TabbedTerminalWidget.java
Move some settings to SettingsProvider, Implement "reverse color"
selection mode
Remove AbstractSystemSettingsProvider
Merge UserSettingsProvider and SystemSettingsProvider
Merge branch 'master' into user_settings

Conflicts:
	src-terminal/com/jediterm/terminal/ui/AbstractTerminalFrame.java
	src-terminal/com/jediterm/terminal/ui/TabbedTerminalWidget.java
Merge pull request #47 from Plonk42/user_settings

User settings implementation