Support for automatic re-sizing of EC2 pools

The final settings will probably need tuning as we watch how it works, but this seems like a good start.
OK, I was copying the pattern from PollRepositoriesJob.  Done.