[tor-commits] [torbutton/master] Bug 8423: Don't clear cookies at shutdown if user wants disk history