Added Server option for specifying the number of worker threads in the
ServerService's thread pool.