Dynamic Worker Pools API

Stefano Riverarequested to merge
dynamic-worker-pools-api into devel

A generic interface for launching and terminating cloud instances in dynamic worker pools. No real implementation, yet.

Fixes: #720 (closed)

Merge request reports