Write a Powershell script that automates the first step on Windows

[msprotz]

Namely: downloading Cygwin's setup-x86_64.exe, then launching it with the right set of commands, opening up a mintty and launching this script.

[msprotz]

This should also install git so that the powershell script can launch bash -c "git clone && everest/everest check".

[sishtiaq]

It should also check that VS is installed, or install it if it's not.

Maybe chocolatey can be used for the install? (When you set up VMs on Azure, it uses chocolatey to install extra artefacts.)  

[msprotz]

Hmm I guess the high-level description is:

• fetch & launch VS2015 installer with C++ & F# flags
• fetch & launch Cygwin installer with silent mode & wget + git
• c:\cygwin\bin\bash --login -c "./everest check"

What step would Chocolatey help with?

[sishtiaq]

A declarative way of handling yr #1 and #2 above.

[tahina-pro]

The Docker Windows image (ewerest) already has most, if not all, of these steps automated (now for VS2017 actually.) It now remains to move them back to everest check