Launcher: add setting allowing not to automatically check remote repositories

 - add a button to the launcher which allows manual downloading
 - add a configuration option autoCheckRepositories to launcher settings
 - add ui elements to settings dialog to change autoCheckRepositories
Merge pull request #52 from josch/launcherNoAutoCheckRepositories

Launcher: do not automatically check remote repositories