Add scripts to benchmark data-based synthesis to CIF benchmarks
It would be useful to have some scripts to compare one alternative against another, to determine which is better. This way, we can more easily evaluate potential performance improvements. It can also help us to more easily do experiments to determine what settings should be the default settings, for best performance.