TIP parsing and printing working and tested

build.sbt

...es/regression/tip/SAT/AssociativityProperties.scala-0.tip

...es/regression/tip/SAT/AssociativityProperties.scala-1.tip

src/it/resources/regression/tip/SAT/BraunTree.scala-1.tip

src/it/resources/regression/tip/SAT/PositiveMap.scala-0.tip

...s/regression/tip/UNSAT/BinarySearchTreeQuant2.scala-0.tip

...s/regression/tip/UNSAT/BinarySearchTreeQuant2.scala-1.tip

src/it/resources/regression/tip/UNSAT/Closures2.scala-0.tip

src/it/resources/regression/tip/UNSAT/Closures2.scala-1.tip

src/it/resources/regression/tip/UNSAT/Closures2.scala-2.tip

src/it/resources/regression/tip/UNSAT/MergeSort2.scala-0.tip

src/it/resources/regression/tip/UNSAT/MergeSort2.scala-1.tip

src/it/scala/inox/tip/TIPTestSuite.scala

src/main/scala/inox/solvers/ADTManagers.scala

src/main/scala/inox/solvers/SolverFactory.scala

src/main/scala/inox/solvers/smtlib/CVC4Target.scala

src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala

src/main/scala/inox/solvers/smtlib/Z3Target.scala

src/main/scala/inox/solvers/unrolling/UnrollingSolver.scala

src/main/scala/inox/tip/Parser.scala