ESP8266 core board install
If you couldn't install the board with the board manager then you should use the downloaded ZIP before. Extract the zip and copy the content into the Arduino directory, into hardware, ESP8266COM and a new folder called ESP8266. Now you should restart the IDE and try if it works.