Debugging C programs using Visual Studio Code

This only applies to C programs that do not use the libpynq library. See here for C programs that do use the libpynq library.