update SMTInterpol to 2.5-1242-g5c50fb6d
update SMTInterpol to 2.5-1242-g5c50fb6d

This solver library (and especially its internal dependencies)
is intended to be API-compatible with LassoRanker in CPAchecker.

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