To anybody interested in ESP8266 and micopython: https://www.kickstarter.com/projects/214379695/micropython-o...

This resulted recently in this: https://github.com/micropython/micropython/releases/tag/v1.8...

From a humble yet proud backer :)