I spent some time yesterday putting together a vagrant development environment for the esp8266 sdk/compiler
and it can be found at https://github.com/kmpm/esp8266-vagrant.
What it does as default at the moment is to set up a 32bit ubuntu in virtualbox and downloads the sdk and precompiled
crosstools that can be found at the espressif forum.
I can compile the IoT_Demo but I haven't tried uploading it yet to a device. My intentions is to try that out later this week.
Hopefully someone else might find this useful as well.