Added SDKInstaller, currently only supports win32 host, and i686 target (which is also the default when running without arguments)