vagrant setup for a basic windows server 2012 machine