Since we moved to gitlab, we need to replace the github specific parts of the auto-update mechanism. We should use the BinTray Rest API to check for new versions.