Let's give more time to repair tests

running test suites in parallel is usually slowing down expensive tests
such as repair.

src/test/scala/leon/regression/repair/RepairSuite.scala

@@ -34,7 +34,7 @@ class RepairSuite extends LeonRegressionSuite {
       interruptManager = new InterruptManager(reporter),
       options = Seq(
         LeonOption(SharedOptions.optFunctions)(Seq(fileToFun(name))),
-        LeonOption(SharedOptions.optTimeout)(20L)
+        LeonOption(SharedOptions.optTimeout)(60L)
       )
     )