I've used fabric for basically the same thing. Basically just runs shell commands across lots of servers. Our 5-person operation used DigitalOcean with a custom

I've used fabric for basically the same thing. Basically just runs shell commands across lots of servers. Our 5-person operation used DigitalOcean with a custom image that contained about 80% of our config, and then a fabric script that managed things like deploys and emergency patches.