Using AWS CDK for code pipeline setup