[tor-commits] [ooni-probe/master] Add support for downloading resources from mirror on github.