Add proxy settings configuration.
Merge branch 'develop' of github.com:gitools/gitools into develop

Conflicts:
	org.gitools.ui.platform/src/main/java/org/gitools/ui/platform/settings/Settings.java