I have tested MICO ver 188.8.131.52 and I think it is a big improvement over the old one.
As it is hard to find, I've uploaded it to GitHub. You can clone it, or just download as zip.
I've also ported WiFiMCU LUA to MICO 184.108.40.206, you can find it in Projects/WiFiMCU directory.
To build it with IAR, open the project in Projects/WiFiMCU/LUA/EWARM
Support for EMW3165 RTC is added (rtc lua module).
Lua function wifi.sta.ntptime is added to set RTC time from ntp server.
Updated bootloader compatible with WiFiMCU and WiFiMCU Studio can be built opening the IAR project in Projects/WiFiMCU/Bootloader/EWARM
MICO API documentation (old version) can be found here
News about MICO, new documentation, links etc can be found here (Google translation)
There is also quite active Chinese MICO forum (good enough Google translation).
I can only hope MICO will be ported to GCC soon.