Update targets

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

@@ -17,6 +17,8 @@ trait SMTLIBCVC4Target extends SMTLIBTarget {
   import trees._
   import symbols._
 
+  def targetName = "cvc4"
+
   override def getNewInterpreter(ctx: InoxContext) = {
     val opts = interpreterOps(ctx)
     ctx.reporter.debug("Invoking solver with "+opts.mkString(" "))

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

@@ -4,7 +4,6 @@ package inox
 package solvers
 package smtlib
 
-import _root_.smtlib.common._
 import _root_.smtlib.parser.Terms.{Identifier => SMTIdentifier, Let => SMTLet, _}
 import _root_.smtlib.parser.Commands.{FunDef => SMTFunDef, _}
 import _root_.smtlib.interpreters.Z3Interpreter