[tor-dev] Making Tor's CI Faster