Vagrant redis configuration and the binary releases of MS Open Tech redis port of windows