Get the IDE here http://www.arduino.cc/en/Main/Software
Get the ESP8266 libraries here https://github.com/esp8266/Arduino