Update .travis.yml

.travis.yml

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