benchmark script adapted to last version
benchmark script adapted to last version

This uses the satlib option that warmup the JVM and
benchmarks the whole directory.

regb/scabolic,RomanHargrave/scabolic