Switch ISL repo URL to mirror, since repo.or.cz appears broken or ratelimited