The Arduino IDE can now be used to develop and flash firmware for the ESP8266 boards! Great work guys!