Update SMTInterpol and add new theories#648

daniel-raffler wants to merge 10 commits intomastersosy-lab/java-smt:masterfrom

smtinterpol-newTheoriessosy-lab/java-smt:smtinterpol-newTheoriesCopy head branch name to clipboard