[TMP] Re-enable CAMLboy and disable buggy PRT benchmark

Author: OlivierNicole

benchmarks/Makefile

@@ -20,8 +20,8 @@ bench:
 	$(MAKE) microbenchmarks
 	$(MAKE) -C benchmark-fiat-crypto bench
 	$(MAKE) -C benchmark-ocamlc bench
-	$(MAKE) -C benchmark-partial-render-table bench
-	#$(MAKE) -C benchmark-camlboy bench
+	#$(MAKE) -C benchmark-partial-render-table bench
+	$(MAKE) -C benchmark-camlboy bench
 	$(MAKE) -C benchmark-others bench # To try later!
 
 microbenchmarks: