Repair benchmarks

testcases/synthesis/repair/HeapSort/HeapSort.scala

testcases/synthesis/repair/HeapSort/HeapSort1.scala

testcases/synthesis/repair/HeapSort/HeapSort2.scala

testcases/synthesis/repair/HeapSort/HeapSort5.scala

testcases/synthesis/repair/PropLogic/PropLogic.scala

testcases/synthesis/repair/PropLogic/PropLogic1.scala

testcases/synthesis/repair/PropLogic/PropLogic3.scala

testcases/synthesis/repair/PropLogic/PropLogic4.scala

testcases/synthesis/repair/PropLogic/PropLogic5.scala

testcases/synthesis/repair/PropLogic/PropLogic6.scala

testcases/synthesis/repair/RedBlackTree/RedBlackTree.scala

testcases/synthesis/repair/RedBlackTree/RedBlackTree1.scala

testcases/synthesis/repair/RedBlackTree/RedBlackTree2.scala

testcases/synthesis/repair/RedBlackTree/RedBlackTree3.scala

testcases/synthesis/repair/RedBlackTree/RedBlackTree5.scala

testcases/synthesis/repair/RedBlackTree/RedBlackTree6.scala

testcases/synthesis/repair/RedBlackTree/RedBlackTree7.scala

testcases/synthesis/repair/SecondsToTime/SecondsToTime.scala

...cases/synthesis/repair/SecondsToTime/SecondsToTime1.scala

...cases/synthesis/repair/SecondsToTime/SecondsToTime2.scala