How to create a development environment in the cloud for writing AWS CDK