Remove dead code

src/main/scala/leon/codegen/CodeGenPhase.scala

-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon
-package codegen
-
-import scala.util.control.NonFatal
-
-import purescala.Definitions._
-
-object CodeGenPhase extends LeonPhase[Program,CompilationResult] {
-  val name = "CodeGen"
-  val description = "Compiles a Leon program into Java methods"
-
-  def run(ctx : LeonContext)(p : Program) : CompilationResult = {
-    try {
-      val unit = new CompilationUnit(ctx, p)
-      unit.writeClassFiles("./")
-      CompilationResult(successful = true)
-    } catch {
-      case NonFatal(e) => CompilationResult(successful = false)
-    }
-
-  } 
-}

src/main/scala/leon/codegen/CompilationResult.scala

-/* Copyright 2009-2015 EPFL, Lausanne */
-
-package leon
-package codegen
-
-case class CompilationResult(
-  successful : Boolean = false
-)