[tor-commits] [torbutton/master] Various minor fixes for tor-control-port.js and tor-circuit-display.js