Use the AWS PHP SDK to terminate servers

This is more important than it looks.  After much testing I've noticed
that the old command would timeout occasionally for no apparent reason.
And as usual the AWS SDK is much faster.