Remove "awsboxen" prefix from AWS resource names.

They're just getting too long otherwise!