fix travis-build: collect options to get ConfigurationOptions.txt
fix travis-build: collect options to get ConfigurationOptions.txt

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt