I have made a little cloud server that can compile an arduino sketch with my sdk and, trough a python web socket server, flash the esp8266.
I have some tests to run before opening it to public (and maybe change the server) but you can check it here : http://ardunet.pmclab.fr
The python tool can be downloaded here : https://github.com/Karang/Ardunet/tree/ ... rdunetTool
You will need python >2.7, pySerial and up to date ftdi drivers.
Regards.