AFAIK, merging with the ESP8266 Arduino core is a long-term goal, but not much progress had been made on that front to due to time issues. However, I reserve the right to be proven completely and utterly wrong! ;-P
It was mentioned a few months ago as a goal, but I haven't heard any mention of it since then.