No global option for "feeling lucky".

src/main/scala/leon/Main.scala

@@ -107,8 +107,6 @@ object Main {
         settings = settings.copy(synthesis = false, xlang = false, verify = false)
       case LeonFlagOption("help") =>
         displayHelp(reporter)
-      case LeonFlagOption("noLuckyTests") =>
-        Settings.luckyTest = false
       case _ =>
     }