config_query_list OPENCDK_BRANCH "Which branch of OpenCDK do you want to build?" DEFAULT 0.5 0.6

.