I missed esptool in my Arduino IDE1.6.5 for Mac.
I tried both under URLs in 'Additional Boards Manager URLs'.
http://arduino.esp8266.com/package_esp8 ... index.json http://arduino.esp8266.com/staging/pack ... index.json
Would you teach me how to install the right IDE and URL?