download libs for Windows

build.gradle

@@ -47,6 +47,16 @@ task downloadCli << {
 		delete file(targetzip)
 	}
 
+	targetdir = dir+"windows/"
+	targetzip = targetdir+"windowslib.zip"
+	download("http://nightly.cobra.cs.uni-duesseldorf.de/cli/windowslib.zip",targetzip)
+	FileTree zip = zipTree(targetzip)
+	    copy {
+		   from zip
+		   into targetdir
+	    }
+	delete file(targetzip)
+	
 }
 
 task collectArtifacts(type:Copy) {