Addition of max_workers option

This release adds option max_workers, which can be used to set the number of workers to less than the size of world comm.