Added notes on how to deploy Galaxy via Cloudman on AWS