[ignore] modify travis configuration a bit until the build can annually run. In the mean while check build.exist-db.se
Merge branch 'develop' of github.com:eXist-db/exist into develop