[tor-commits] [tor/master] Give the HTTPS url for jenkins in doc/HACKING