Remove duplicate downloadCli2 task

It does the same thing as downloadCli, but is missing the doLast block
around the task code. This means that even though downloadCli2 is never
used, its code executes every time Gradle is run, so the CLI is
downloaded much more often than it needs to be.

build.gradle

@@ -99,38 +99,6 @@ task downloadCli {
 }
 
 
-task downloadCli2 (type: Exec) {
-	def dir = workspacePath + 'de.prob.core/prob/'
-	delete file(dir)
-	new File(dir).mkdirs()
-
-	['leopard64':'macos','linux32':'linux','linux64':'linux64','win64':'windows'].each {
-		def n = it.getKey()
-
-		def targetdir = dir + it.getValue()
-		def targetzip = dir + "probcli_${n}.zip"
-		def url = "https://www3.hhu.de/stups/downloads/prob/cli/nightly//probcli_${n}.zip"
-		download(url, targetzip)
-		FileTree zip = zipTree(targetzip)
-		copy {
-			from zip
-			into targetdir
-		}
-		delete file(targetzip)
-	}
-
-	def targetdir = dir + "windows/"
-	def targetzip = targetdir + "windowslib64.zip"
-	download("https://www3.hhu.de/stups/downloads/prob/cli/nightly/windowslib64.zip", targetzip)
-	FileTree zip = zipTree(targetzip)
-	copy {
-		from zip
-		into targetdir
-	}
-	delete file(targetzip)
-}
-
-
 completeInstall.dependsOn downloadCli
 completeInstall.dependsOn subprojects.setClassPath