Leveraging the existing server mode in Goblint, generate an MCP server that allows LLMs to interact with Goblint.
It should offer the ability:

• to configure the options of Goblint
• to run Goblint on a project using the compilation database feature, or by providing a single C file
• to query results from Goblint

(This is an experiment to see if Copilot comes up with something useful here, but if it does we may decide to use it.)