change directory name from my-aws-deployment to my-micro-deployment in deploy-microbosh-to-aws.html