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.
Yes, good idea.