Add AWS CDK infrastructure

[dxre-v3]

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.