Fetch bootstrap files from github or so

[8bitgeek]

Periodically check for updated bootstrap files.

Make the repository path configurable in the gui.