Add AWS CDK infrastructure #5
Description
Instead of requiring users to manually create and add a bot to AWS, we could automate the infrastructure set-up with AWS CDK. This would allow users to deploy a bot to AWS with a few commands from an infrastructure folder.