#1858: DeploymentAgent should use its own thread pool for download, and ...

...not felixs. And allow end users to configure a custom thread pool size.