Adding port 8000 to the EC2 security group
Merge pull request #545 from fagiani/master

Adding port 8000 to the EC2 security group