Use docker and aws

This builds upon Dyball's initial work (in #27) and cleans things up considerably.
I think this should be renamed to user-data.sh - why have a .txt extension when it's a shell script?