Klever

One can want to use VS Code to develop C stuff such as models and tests included into the Klever repository. This can not be done without extra efforts since that stuff may rely upon project-specific headers, defines and build processes. Nevertheless it is still possible to suggest a basic configuration of VS Code, e.g. to exclude something from search, and to guide users how they can get further.