Remove unneeded files

Notes-on-laziness

libtest/build.sbt

libtest/project/Build.scala

libtest/src/main/scala/leon/annotation/isabelle.scala

libtest/src/main/scala/leon/annotation/package.scala

libtest/src/main/scala/leon/collection/List.scala

libtest/src/main/scala/leon/collection/package.scala

libtest/src/main/scala/leon/instrumentation/package.scala

libtest/src/main/scala/leon/invariant/package.scala

libtest/src/main/scala/leon/lang/Dummy.scala

libtest/src/main/scala/leon/lang/Either.scala

libtest/src/main/scala/leon/lang/Map.scala

libtest/src/main/scala/leon/lang/Option.scala

libtest/src/main/scala/leon/lang/Rational.scala

libtest/src/main/scala/leon/lang/Real.scala

libtest/src/main/scala/leon/lang/Set.scala

libtest/src/main/scala/leon/lang/StrOps.scala

libtest/src/main/scala/leon/lang/package.scala

libtest/src/main/scala/leon/lang/synthesis/Oracle.scala

libtest/src/main/scala/leon/lang/synthesis/package.scala