How to customize the c_cpp_properties.json file for the C++ extension.