[tor-commits] [torbutton/master] Update changelog and version for 1.8.0.2