BIGTOP-1373 Added GITHUB_MIRROR option to allow builds against repos.