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.
We want to track statistics at a very regular interval, but only adjust size occasionally.  They could be a single job, but that felt like conflating the two aspects.