delete outdated configuration for Travis-CI.
delete outdated configuration for Travis-CI.

We use the GitLab-CI since several months.
sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt