Update locations for bootstrap scripts, to new infrastructure, GitHub releases for bootstrap