Python code for launching / managing an EC2 hosted server