An ssh cluster shell for EC2