Automate regeneration of test cases

Currently, we have a directory of checked-in KORE files that encode test cases using lit. The corresponding K source code also exists in the repo, but the process of actually generating the KORE from the K is not automatic and requires a reasonable amount of manual work.

We should implement a script that can take a K source definition and automatically regenerate the corresponding KORE that the backend actually runs. This should remain a manual process run by developers when something changes in the frontend; we don't really want to introduce a dependency on K in CI.

The script will need to:

• kompile a definition and copy the definition.kore to the test directory in an appropriate place.
• Extract the appropriate // RUN: ... lines from the K file and paste them at the front of the KORE file.
• Perhaps also automatically generate the test inputs and outputs from surface syntax?

Start by locating the checked-in KORE test directory and the corresponding K source definitions. Read how lit handles the // RUN: ... lines, then verify how kompile produces definition.kore; done means developers can manually regenerate the appropriate KORE and preserve the required test commands without adding K as a CI dependency.