Add simple entry point to leave leon Main.scala untouched

src/main/scala/leon/synthesis/Main.scala

+package leon
+package synthesis
+
+object Main {
+  def main(args : Array[String]) {
+    new Synthesizer().test()
+  }
+
+}