Merge branch 'master' of github.com:hhu-stups/tla2bAST

* 'master' of github.com:hhu-stups/tla2bAST:
  Update .travis.yml

Conflicts:
	.travis.yml

.travis.yml

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