[tor-commits] [tor-launcher/master] Rename torcontroller.properties to torlauncher.properties.