Fix TestCasesCompile package

src/test/scala/leon/test/LeonTests.scala

@@ -13,6 +13,7 @@ import synthesis._
 import termination._
 import utils._
 import verification._
+import testcases._
 
 class LeonAllTests extends Suites(
   new LeonUnitTests,

src/test/scala/leon/test/testcases/TestCasesCompile.scala

 /* Copyright 2009-2015 EPFL, Lausanne */
 
-package leon.test.frontends
+package leon.test.testcases
 
 import leon._
 import test.LeonTestSuite
-import purescala.Definitions.Program
 import java.io.File
 
 class TestCasesCompile extends LeonTestSuite {