Writing your first template using AWS CDK and Python