aws/get-cluster-webserver-ips: usability change
paas-provisioner/aws/: added a missing files