Doc Ock: AWS server management scripts