Fixed selection move on vertical resize.
Add some more settings.
Don't need a name.
Extract options for tabbed terminal.
Possibility to define default tab name.
X11-CopyPaste option split to 2 different options.
Merge remote-tracking branch 'origin/master'

Conflicts:
	src-terminal/com/jediterm/terminal/ui/TerminalPanel.java
	src-terminal/com/jediterm/terminal/ui/settings/DefaultSettingsProvider.java
	src-terminal/com/jediterm/terminal/ui/settings/UserSettingsProvider.java
Restore after merge.