Re-enabled repository selection for the GUI
Merge pull request #615 from AlexanderDzhoganov/master

Re-enabled repository selection for the GUI
#403: Allow Prerelease flag for github releases