Add JavaSMT project template for Ivy/Ant#467

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

463-problems-with-installationsosy-lab/java-smt:463-problems-with-installationCopy head branch name to clipboard