Remove unneeded tla2b Gradle task

It only copies the jar created by createJar to a different location,
which doesn't seem to have any particular use.

.gitignore

@@ -6,6 +6,3 @@
 .classpath
 .project
 .settings/
-
-# Build output
-TLA2B.jar

.travis.yml

 language: java
-script: ./gradlew tla2b check uploadArchives
+script: ./gradlew createJar check uploadArchives
 
 before_install:
 - openssl aes-256-cbc -pass pass:$ENCRYPTION_PASSWORD -in secring.gpg.enc -out secring.gpg

build.gradle

@@ -81,17 +81,6 @@ task createJar(type: Jar, dependsOn: classes){
 	}
 }
 
-
-task tla2b(dependsOn: createJar) {
-	doLast{
-		copy {
-			from('build/libs/')
-			into('.')
-			include('TLA2B.jar')
-		}
-	}
-}
-
 if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')) {
 	apply plugin: 'signing'