To manually add the board manager for ESP8266 perform the following steps:
> cd ~/Documents/Arduino/hardware
> mkdir esp8266com
> cd esp8266com
> git clone https://github.com/esp8266/Arduino.git esp8266
> cd esp8266
Switch to the release tag
> git checkout 2.4.2
Restart the Arduino IDE