[tor-commits] [orbot/master] improve how we start/stop Tor, Polipo