Better TIP parsing/printing, more flexible SMTLIBTarget

src/main/scala/inox/parsers/TIPParser.scala

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

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

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

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

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

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

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

src/main/scala/inox/tip/PositionProvider.scala

src/main/scala/inox/tip/Printer.scala