Added ant task for running checkstyle and printing output directly into the terminal
Added ant task for running checkstyle and printing output directly into the terminal

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