Add gradle tasks to download and extract and remove prob public examples

.gitignore

@@ -17,3 +17,4 @@ temp
 out/
 src/test/**/*.tla
 src/test/**/*.cfg
+public_examples

build.gradle

@@ -4,6 +4,7 @@ plugins {
     id 'maven'
     id 'jacoco'
     id 'findbugs'
+    id "de.undercouch.download" version "3.4.3"
 }
 
 project.version = '1.0.4-SNAPSHOT'
@@ -63,13 +64,28 @@ test {
 	//exclude('de/tlc4b/tlc/integration')
 }
 
+task downloadPublicExamples(type: Download) {
+  src 'https://www3.hhu.de/stups/downloads/prob/source/ProB_public_examples.tgz'
+  dest buildDir
+  onlyIfModified true
+}
+
+task extractPublicExamples(dependsOn: downloadPublicExamples, type: Copy) {
+  from tarTree(resources.gzip("${buildDir}/ProB_public_examples.tgz"))
+  into projectDir
+}
+
+clean {
+  delete "${projectDir}/public_examples"
+}
 
-task regressionTests(type: Test){
+task regressionTests(dependsOn: extractPublicExamples, type: Test){
 	doFirst{ println("Running integration tests") }
 	scanForTestClasses = true
 	//include('de/tlc4b/tlc/integration/probprivate/**')
 	include('de/tlc4b/**')
 }
+check.dependsOn(regressionTests)
 
 // type 'gradle integrationTests jacocoIntegrationTestReport' in order to run the jacoco code coverage analysis
 task jacocoIntegrationTestReport(type: JacocoReport) {