Add a server parameter config option for number of workers/threads
Merge pull request #45 from jhamrick/num-workers

Add a server parameter config option for number of workers/threads