add -workers CLI option for specifying the number of workers

[cmnrd]

This is a simple change adding a -workers CLI argument that allows to override the default number of workers. This is particularly useful for analyzing the scaling behavior of certain benchmarks.