Make worker number configurable per server via build property files
Merge pull request #234 from wagnert/master

Make worker number configurable per server via build property files