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.
why two separate jobs, and why the different ratios between them?