Add workers command-line option.
Document the workers option.