Added registry port 5000 to EC2 provisioning script, refs #550.